Supervisory control of discrete event processes with arbitrary controls
Proceedings of the NATO Advanced Study Institute on The Application of Advanced Computing Concepts and Techniques in Control Engineering on Advanced computing concepts and techniques in control engineering
Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
Logical analysis and control of real-time discrete event systems
Logical analysis and control of real-time discrete event systems
Model-checking in dense real-time
Information and Computation - Special issue: selections from 1990 IEEE symposium on logic in computer science
Theoretical Computer Science
A study of the recoverability of computing systems.
A study of the recoverability of computing systems.
Representing Petri net structures as directed graphs
SEPADS'11 Proceedings of the 10th WSEAS international conference on Software engineering, parallel and distributed systems
Scheduling and control of real-time systems based on a token player approach
Discrete Event Dynamic Systems
| Hi-index | 0.00 |
This paper introduces a formal framework to logicallyanalyze and control real-time discrete event systems (RTDESs).Time Petri nets are extended to controlled time Petri nets (CtlTPNs)to model the dynamics of RTDESs that can be controlled by real-timesupervisors. The logical behaviors of CtlTPNs are representedby control class graphs (CCGs) which are untimed automata withtiming and control information in their state transition labels.We prove that the CCG corresponding to a CtlTPN expresses completelythe logical behavior of the CtlTPN. The real-time supervisoris based on a nondeterministic logical supervisor for the CCG,including the delay for control computations to ensure the supervisoris acceptable in a true real-time environment. We prove the existenceof a unique maximal controllable sublanguage of a given specificationlanguage and present an algorithm to construct the sublanguage.We also prove that the real-time supervisor meets the prespecifiedreal-time behavior and present an online control algorithm toimplement real-time supervisors. The concepts and algorithmsare illustrated for an example of packet reception processesin a communication network.