Control Synthesis for Discrete Event Systems
作者： J. G. Thistle
DOI: 10.1007/978-3-0348-8970-4_23
关键词:
摘要: Among the control challenges posed by modern digital technology are problems of subsystem coordination in large-scale, complex systems. These common communications, transportation, manufacturing and other fields. In many instances, essence such can be captured “lumping” trajectories low-level subsystems into sequences discrete, instantaneous events, thus abstracting away from any continuous dynamics. The resulting discrete event systems (DES) may modelled means automata, formal languages, logic, etc.
springer.com
sci-hub.st 参考文章(34)
Rajeev Alur, David Dill, Automata for modeling real-time systems international colloquium on automata, languages and programming. pp. 322- 335 ,(1990) , 10.1007/BFB0032042
Nicolas Halbwachs, Yann -Eric Proy, Pascal Raymond, Verification of linear hybrid systems by means of convex approximations static analysis symposium. pp. 223- 237 ,(1994) , 10.1007/3-540-58485-4_43
David L. Dill, Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits ,(1989)
Stanley Young, Damir Spanjol, Vijay K. Garg, Control of Discrete Event Systems Modeled with Deterministic Buchi Automata american control conference. pp. 2814- 2818 ,(1992) , 10.23919/ACC.1992.4792656
E. Clarke, O. Grumberg, D. Long, Verification Tools for Finite-State Concurrent Systems A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium. pp. 124- 175 ,(1993) , 10.1007/3-540-58043-3_19
David L. Dill, Howard Wong-Toi, Verification of Real-Time Systems by Successive Over and Under Approximation computer aided verification. pp. 409- 422 ,(1995) , 10.1007/3-540-60045-0_66
Eugene Asarin, Oded Maler, Amir Pnueli, Symbolic Controller Synthesis for Discrete and Timed Systems Hybrid Systems II. pp. 1- 20 ,(1995) , 10.1007/3-540-60472-3_1
Amir Pnueli, Roni Rosner, On the Synthesis of an Asynchronous Reactive Module international colloquium on automata languages and programming. pp. 652- 671 ,(1989) , 10.1007/BFB0035790
J. G. Thistle, On control of systems modelled as deterministic Rabin automata Discrete Event Dynamic Systems. ,vol. 5, pp. 357- 381 ,(1995) , 10.1007/BF01439153
J.G. Thistle, Supervisory control of discrete event systems Mathematical and Computer Modelling. ,vol. 23, pp. 25- 53 ,(1996) , 10.1016/0895-7177(96)00063-5