Supervisory control of theme park vehicles

[1]  Paul M. Frank,et al.  Fault diagnosis in dynamic systems: theory and application , 1989 .

[2]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[3]  Tom DeMarco,et al.  Controlling Software Projects , 1982 .

[4]  Klaus Schneider,et al.  Synthesizing deterministic controllers in supervisory control , 2005, ICINCO.

[5]  Walter Murray Wonham,et al.  Hierarchical interface-based supervisory control-part II: parallel case , 2005, IEEE Transactions on Automatic Control.

[6]  Pedro Meseguer,et al.  VVT terminology: a proposal , 1993, IEEE Expert.

[7]  W. M. Wonham,et al.  Implementation Considerations in Supervisory Control , 2002 .

[8]  Kiam Tian Seow.  Integrating Temporal Logic as a State-Based Specification Language for Discrete-Event Control Design in Finite Automata , 2007, IEEE Transactions on Automation Science and Engineering.

[9]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[10]  Bart Broekman,et al.  Testing Embedded Software , 2002 .

[11]  Zohar Manna,et al.  The logical basis for computer programming , 1985 .

[12]  S. Balemi.  Control of discrete event systems , 1992 .

[13]  Walter Murray Wonham,et al.  Nonblocking supervisory control of state tree structures , 2005, IEEE Transactions on Automatic Control.

[14]  S. Balemi.  Communication delays in connections of input/output discrete event processes , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.

[15]  P. Ramadge,et al.  On the supermal controllable sublanguage of a given language , 1987 .