Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
On the supermal controllable sublanguage of a given language
SIAM Journal on Control and Optimization
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
System Design with SystemC
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
A Survey of Petri Net Methods for Controlled Discrete EventSystems
Discrete Event Dynamic Systems
Modular Control and Coordination of Discrete-Event Systems
Discrete Event Dynamic Systems
Discrete Event Dynamic Systems
Smart Play-out of Behavioral Requirements
FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
Concurrent execution semantics and sequential simulation algorithms for the metropolis meta-model
Proceedings of the tenth international symposium on Hardware/software codesign
Communicating Transaction Processes
ACSD '03 Proceedings of the Third International Conference on Application of Concurrency to System Design
A Distributed Discrete Event Dynamic Model for Supply Chain of Business Enterprise
WODES '02 Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES'02)
Supervisor Reduction for Discrete-Event Systems
Discrete Event Dynamic Systems
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
Automated control synthesis for an assembly line using discrete event system control theory
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
On the complexity of supervisory control design in the RW framework
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Hi-index | 0.00 |
A Communicating Transaction Process (CTP) is a computational model that serves as a high level specification language for reactive embedded system components and their interactions. It consists of a network of communicating processes coordinating their behaviors via common actions and the common actions are refined as a set of guarded Message Sequence Charts (MSCs). There has been little work devoted to developing CTP models systematically. This paper takes the first step towards bridging this gap. In our work, communicating processes of embedded components are modeled and controlled as Discrete-Event Systems (DES). The control logic among communicating components is derived by Supervisory Control Theory (SCT), so as to guarantee that the communicating processes meet all predefined constraints and possess other desirable system behavioral properties. The control logic is then translated into propositional formulas for guarded MSCs which then results in a CTP model with guaranteed behavioral properties.