Distributed implementations of Ramadge-Wonham supervisory control with Petri nets

Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05

Volumn 2005, Issue , 2005, Pages 2107-2112

  Darondeau, Philippe ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; FINITE AUTOMATA; GRAPH THEORY; PETRI NETS; USER INTERFACES;

ASYNCHRONOUS MODE; FINITE STATE CONTROLLERS; MODULAR CONTROL SYNTHESIS; RAMADGE-WONHAM SUPERVISORY CONTROL;

PROBLEM SOLVING;

EID: 33847221104     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2005.1582472     Document Type: Conference Paper

References (11)

1. P.J. Ramadge and W.M. Wonham, Supervisory Control of a Class of Discrete Event Processes, SIAM Journal of Control and Optimization, vol. 25, 1987, pp 206-230.
2. P.J. Ramadge and W.M. Wonham, On the Supremal Controllable Language of a Given Language, SIAM Journal of Control and Optimization, vol. 25, 1987, pp 637-659.
3. P.J. Ramadge and W.M. Wonham, The Control of Discrete Event Systems, Proc. of the IEEE, Special issue on Dynamics of Discrete Event Systems, vol. 77, 1989, pp 81-98.
4. A. Ghaffari and N. Rezg and X. Xie, Design of a Live and Maximally Permissive Petri Net Controller Using the Theory of Regions, IEEE Transactions on Robotics and Automation, vol. 19, 2003, 137-142.
5. P.J. Ramadge and W.M. Wonham, "Modular Supervisory Control of Discrete Event Systems", in Seventh Int. Conf. on Analysis and Optimization of Systems, LNCIS vol. 83, Springer-Verlag, Germany, 1986, pp. 202-214.
6. K. Rudie and S. Lafortune and F. Lin, Minimal Communication in a Distributed Discrete-Event System, IEEE Transactions on Automatic Control, vol. 48, 2003, pp. 957-975.
7. K.G. Larsen, Modal Specifications, in Automatic Verification Methods for Finite Transition Systems, LNCS vol. 407, Springer-Verlag, New York, 1989, pp. 232-246.
8. N. Chernikova, Algorithm for finding a general formula for the nonnegative solutions of a system of linear inequalities, USSR Computational Mathematics and Mathematical Physics vol. 5, 1965, pp. 228-233.
9. P. Darondeau, Unbounded Petri Net Synthesis, in Lectures on Concurrency and Petri Nets, Advances in Petti Nets, LNCS vol. 3098, Springer-Verlag, Berlin Heidelberg, 2004, pp. 413-438.
10. R.M. Karp and R.E. Miller, Parallel Program Schemata, Journal of Computer and System Sciences vol. 3, 1969, pp. 147-195.
11. E. Badouel and B. Caillaud and P. Darondeau, Distributing Finite Automata Through Petri Net Synthesis, Formal Aspects of Computing vol. 13, 2002, pp. 447-470.