Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
Decentralized supervisory control of discrete-event systems
Information Sciences: an International Journal - Robotics and Automation/Control Series
A Petri-net approach to the control of discrete-event systems
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
Model checking and abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Feedback control of Petri nets based on place invariants
Automatica (Journal of IFAC)
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Data and computer communications (5th ed.)
Data and computer communications (5th ed.)
An efficient algorithm for controller synthesis under full observation
Journal of Algorithms
A Survey of Petri Net Methods for Controlled Discrete EventSystems
Discrete Event Dynamic Systems
Discrete Event Dynamic Systems
Designing reactive systems: integration of abstraction techniques into a synthesis procedure
Journal of Systems and Software - Special issue on artificial and computational intelligence for decisions, control, and automation in engineering and industrial applications
Towards a Computer-Aided Design of Reactive Systems
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Control of Parameterized Discrete Event Systems
Discrete Event Dynamic Systems
Hi-index | 0.00 |
This paper presents an adaptation of a supervisorycontrol theory and a supervisor synthesis problem to a classof colored Petri nets. More specifically, the forbidden statecontrol problem with full observation, in which a discrete-eventsystem is modeled as a colored Petri net with a symmetry specification,is investigated. This problem is decidable if the colored Petrinet has finite color sets and bounded places. A new algorithmfor deriving a controller is presented in detail with a proofof correctness. Unlike conventional algorithms that explore theentire reachable set of states, our algorithm avoids an exhaustivesearch of the state space by exploiting a symmetry specification.It performs particularly well when applied to large but structuredprocesses with similar components. Furthermore, this approachleads to a representation of controllers which are smaller thanthose obtained with automaton-based approaches.