CHAPTER 3 – Computational Issues in Intelligent Control: Discrete-Event and Hybrid Systems

作者: XENOFON D. KOUTSOUKOS , PANOS J. ANTSAKLIS

DOI: 10.1016/B978-012646490-0/50006-8

关键词: Distributed computingEvent (computing)Petri netComputationIntelligent controlComputer scienceComplex systemHybrid systemControl (linguistics)Automaton

摘要: Intelligent control methodologies are being developed to address the needs of complex systems that exhibit complicated dynamical behaviors. The design, simulation, and verification intelligent is highly nontrivial typically involves significant amount computations. In this paper, we identify discuss several computational issues central in control. particular, how discrete-event hybrid systems, which control, requires development computationally efficient algorithms approaches. Petri net models used describe discrete event systems. Computational various problems concerning analysis synthesis such discussed. view also review basic for automata. Finally, present a parallel computing architecture illustrate its advantages by considering simulations.

参考文章(78)
Panos J. Antsaklis, John Owen Moody, Petri net supervisors for discrete event systems University of Notre Dame. ,(1998)
Claire Tomlin, John Lygeros, Shankar Sastry, Synthesizing Controllers for Nonlinear Hybrid Systems acm international conference hybrid systems computation and control. pp. 360- 373 ,(1998) , 10.1007/3-540-64358-3_51
Kevin M. Passino, Panos J. Antsaklis, Introduction to intelligent control systems with high degrees of autonomy An introduction to intelligent and autonomous control. pp. 1- 26 ,(1993)
Anuj Puri, Pravin Varaiya, Verification of Hybrid Systems Using Abstractions Hybrid Systems II. pp. 359- 369 ,(1995) , 10.1007/3-540-60472-3_18
Rajeev Alur, David Dill, The Theory of Timed Automata real time theory in practice rex workshop. pp. 45- 73 ,(1991) , 10.1007/BFB0031987
X. Koutsoukos, P. Antsaklis, J. Zaytoon, On hybrid control of complex systems : a survey International Conference on the Automation of Mixed Processes. ,vol. 32, pp. 1023- 1045 ,(1998)
B. P. Zeigler, S. D. Chi, F. E. Cellier, Model-based architecture for high autonomy systems Engineering systems with intelligence. pp. 3- 22 ,(1992) , 10.1007/978-94-011-2560-4_1
Naresh K. Sinha, Madan M. Gupta, Intelligent Control Systems: Theory and Applications IEEE Press. ,(1995)
Jean-Marie Flaus, Hassane Alla, Structural analysis of hybrid systems modelled by hybrid flow nets european control conference. pp. 249- 254 ,(1997) , 10.23919/ECC.1997.7082101
René David, Hassane Alla, Petri nets for modeling of dynamic systems—a survey Automatica. ,vol. 30, pp. 175- 202 ,(1994) , 10.1016/0005-1098(94)90024-8