V. Chandra, R. Kumar  Home/Search
Context Related
| uky.edu/~kumar/PUBS/model1.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uky.edu/~kumar/jpub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The analysis (veri cation, diagnosis, control, etc.) of discrete event systems requires a correct model of the system and of its speci cations. In this paper we present a new modeling formalism for generating valid models of complex systems. The class of systems this applies to, is one which consists of signals that take binary values. The technique presented here makes the task of modeling considerably less cumbersome, less error prone, and is userfriendly. Another advantage of using this... (Update)
Cited by: More
A Event Occurrence Rules based Compact Modeling Formalism for .. - Chandra, Kumar (2001) (Correct)
Similar documents (at the sentence level):
20.8%: A New Modeling Formalism and Automata Model Generator for a.. - Chandra, Kumar (2001) (Correct)
Active bibliography (related documents): More All
0.7: Modeling Discrete Event Systems with Faults Using a.. - Huang, Chandra.. (Correct)
0.2: Discrete Event Models In Batch Control - Tittus, Åkesson (1997) (Correct)
0.2: Hierarchical Supervisory Control for Batch Processes - Tittus, Lennartson (1997) (Correct)
Similar documents based on text: More All
0.2: Centralized and Decentralized Supervisory Control of.. - Kumar, Shayman (1997) (Correct)
0.2: The Criticality of Modeling Formalisms in Software Design.. - Podorozhny, Osterweil (1996) (Correct)
0.2: Failure Diagnosis of Discrete Event Systems with Linear-time.. - Jiang, Kumar (2001) (Correct)
BibTeX entry: (Update)
V. Chandra and R. Kumar. A discrete event system modeling formalism based on event occurrence rules and precedences. IEEE Transactions on Robotics and Automation, 17(6):785-794, December 2001. 22 http://citeseer.ist.psu.edu/chandra01discrete.html More
@misc{ chandra01discrete,
author = "V. Chandra and R. Kumar",
title = "A discrete event system modeling formalism based on event occurrence rules
and precedences",
text = "V. Chandra and R. Kumar. A discrete event system modeling formalism based
on event occurrence rules and precedences. IEEE Transactions on Robotics
and Automation, 17(6):785-794, December 2001. 22",
year = "2001",
url = "citeseer.ist.psu.edu/chandra01discrete.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
234 Supervisory control of a class of discrete event processes (context) - Ramadge, Wonham - 1987
72 Discrete Event Systems: Modeling and Performance Analysis (context) - Cassandras - 1993
52 Modeling and Control of Logical Discrete Event Systems (context) - Kumar, Garg - 1995
13 COCOLOG: a conditional observer and controller logic for nit.. - Caines, Wang - 1990
5 Modeling discrete-event dynamical systems for chemical proce.. (context) - Patsidou, Yamalidou et al. - 1990
4 A boolean model for a class of discrete event systems (context) - Aveyard - 1974
3 Synthesis of a discrete system using algebraic methods (context) - Gunnarsson, Plantin - 1996
2 A event occurrence rules based compact modeling formalism fo.. - Chandra, Kumar - 2001
Documents on the same site (http://www.engr.uky.edu/~kumar/jpub.html): More
An Integer Programming Approach to Placement and Routing in .. - Kumar, Leong, Heath (Correct)
On Supervisory Control of Sequential Behaviors - Kumar, Garg (1992) (Correct)
A Discrete Event Systems Approach for Protocol Conversion - Kumar, Nelvagal, Marcus (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC