混杂动态系统的分析与控制
|
摘要
随着科学技术的迅猛发展，信息处理、计算机通讯、机器人控制、生产过程自动化等技术的完善和广泛应用，人们着眼的系统规模越来越大，内容越来越丰富，现象越来越复杂。在通信、制造、交通、军事、生产过程等领域相继出现了一批反映技术发展方向的人造系统，例如通信和计算机网络、计算机集成制造系统(CIMS)、现代交通系统、军事指挥系统、工业生产的控制与调度系统等，这些系统不便于用微分方程或差分方程描述。由于这些系统不同于用微分方程描述的连续系统，也不同于用差分方程描述的离散系统(数字系统)，以往的理论体系已难以适用于这些新的问题，基于对这类系统行为和性能研究的需要，推动了离散事件动态系统(Discrete Event Dynamical System，DEDS)理论的形成和发展。离散事件动态系统(DEDS)理论是一类新的系统理论，反映了各种人造系统运行的内部规律。伴随研究的深入以及重要工程问题和军事问题的促进，导致研究同时包含离散事件过程和连续变量过程的混合动态系统的需要，人们开始认识到一种由离散事件与连续系统交互作用的一类所谓混杂系统问题的重要性。与单一的连续变量动态系统(CVDS)或离散事件动态系统(DEDS)不同，在混杂系统中既包含了服从物理学定律的连续变量动态系统又包含了遵从优化决策信息逻辑原则的离散事件动态系统，而且两者处在一种强相互作用的制约机制中。
本文主要针对一类混杂系统进行控制理论和控制方法的分析和研究。在综合、分析混杂系统现有的控制理论和控制方法的基础上，深入研究了状态反馈控制、神经网络控制等控制策略在混杂系统控制中的应用。采用李雅普诺夫稳定性理论对系统的稳定性作进一步的分析、比较，实现了混杂系统的快速稳定。具体来说，本文的贡献主要在以下几个部分：
1．混杂系统结构分析。从基本组织结构入手，深入分析了混杂系统的概念、性质及特性。按离散事件和连续变量相互作用的类型，对混杂系统进行了分类。采用混杂自动机作为混杂系统的模型，对混杂系统做了深入分析。最后分析了参
11 摘要
数混杂系统中一类典型的未知参数情况，并给出了确定未知参数的方法。
2．基于李雅普诺夫函数法的混杂系统稳定性分析。分别利用单李雅普诺夫＿
函数法和多李雅普诺夫函数法给出了混杂系统稳定的条件，这些条件可表示为线＿
性矩阵不等式（LMI）形式，接着给出了基于线性矩阵不等式（LMI）算法确定
稳定边界的方法。－
3．混杂系统的神经网络控制。改进了传统的反向传播神经网络，提出附加
动量法的自适应反向传播神经网络算法，并设计了混杂系统的神经网络控制器，‘＿
通过神经网络控制的模型预测与反馈校正构成闭环控制系统，实现了混杂系统的＿
跟踪控制。
4．混杂混炖系统的状态反馈控制。由单纯的连续混炖系统分析入手，提出＿
了基于状态反馈控制的连续混饨系统的李雅普诺夫指数配置控制方法，从而实现
系统的稳定性控制。在此基础上，将该控制策略推广到混杂混饨控制系统中，并
进一步推导了混杂混炖系统控制器的设计方法，根据非线性系统李雅普诺夫稳定＿
性理论，得出了系统的收敛区域。通过对一类混杂混沦系统的控制研究表明，该＿
控制方法是有效的＊
With the quick development of science and technology,the extensive apply of information handling,computer communicating,robot controlling,and productive process automating,the systems that people meet are large scale,abundant content and complex phenomenon. A lot of man-made systems have appeared which reflect science and technology trend in the area such as communication,manufacture,traffic,military and productive process. It's not convenient to describe these systems with differential equations or difference equations. These systems are different from not only the continuous systems that are described with differential equations but also the discrete systems that are described with difference equations. The used knowledge is not applicable to these new problems. The demand to study these systems prompts the development of theory of discrete event dynamical systems (DEDS). DEDS theory reflects dynamical law of all kinds of man-made systems. With going deep study,people start knows a few important problems w
hich discrete event interacting with continuous variable that so called hybrid system. Unlike the continuous variable dynamical system (CVDS) or discrete event dynamical system (DEDS),hybrid system contains not only continuous dynamical system subject to Newton's law of causation but also discrete event system satisfied the optimal decision logic principle,and both of them accord with the strong interaction condition.
The main contents contain the analysis and control of hybrid systems. The controls of hybrid systems mainly deal with state feedback control and neural networks control and analysis of hybrid systems mainly deal with theory of Lyapunov stability on the basis of analyzing and synthesizing current control theory and method. In this dissertation,the main contributions are as follows:
1. Hybrid system construction analysis. The concept,property and quality of hybrid system got deep into study from basic construction. Hybrid systems are
classified according the interacting type of discrete event and continuous variable. At last,a classic of hybrid system called parameter hybrid system is analyzed and an algorithm is proposed.
2. Stability analysis of hybrid system. Two conditions of hybrid system stability are given and an algorithm that determines stable border is given based on linear matrix inequalities.
3. Neural networks control of hybrid systems. Proposed a kind of method that is improved back propagation neural network. A neural network controller is designed. The tracking control of hybrid system is realized by model prediction and feedback correct of neural network control.
4. State feedback control of hybrid chaotic system. From analyzing continuous chaotic system,proposed Lyapunov exponent control method of continuous chaotic system based on state feedback control. System stability is realized. The control strategy is extended hybrid chaotic system and a designing controller method of hybrid chaotic system is deduced. From Lyapunov stability theory of nonlinear system,got convergent region of system. This control method is demonstrated effective by the study of a kind of hybrid system.
本文主要针对一类混杂系统进行控制理论和控制方法的分析和研究。在综合、分析混杂系统现有的控制理论和控制方法的基础上，深入研究了状态反馈控制、神经网络控制等控制策略在混杂系统控制中的应用。采用李雅普诺夫稳定性理论对系统的稳定性作进一步的分析、比较，实现了混杂系统的快速稳定。具体来说，本文的贡献主要在以下几个部分：
1．混杂系统结构分析。从基本组织结构入手，深入分析了混杂系统的概念、性质及特性。按离散事件和连续变量相互作用的类型，对混杂系统进行了分类。采用混杂自动机作为混杂系统的模型，对混杂系统做了深入分析。最后分析了参
11 摘要
数混杂系统中一类典型的未知参数情况，并给出了确定未知参数的方法。
2．基于李雅普诺夫函数法的混杂系统稳定性分析。分别利用单李雅普诺夫＿
函数法和多李雅普诺夫函数法给出了混杂系统稳定的条件，这些条件可表示为线＿
性矩阵不等式（LMI）形式，接着给出了基于线性矩阵不等式（LMI）算法确定
稳定边界的方法。－
3．混杂系统的神经网络控制。改进了传统的反向传播神经网络，提出附加
动量法的自适应反向传播神经网络算法，并设计了混杂系统的神经网络控制器，‘＿
通过神经网络控制的模型预测与反馈校正构成闭环控制系统，实现了混杂系统的＿
跟踪控制。
4．混杂混炖系统的状态反馈控制。由单纯的连续混炖系统分析入手，提出＿
了基于状态反馈控制的连续混饨系统的李雅普诺夫指数配置控制方法，从而实现
系统的稳定性控制。在此基础上，将该控制策略推广到混杂混饨控制系统中，并
进一步推导了混杂混炖系统控制器的设计方法，根据非线性系统李雅普诺夫稳定＿
性理论，得出了系统的收敛区域。通过对一类混杂混沦系统的控制研究表明，该＿
控制方法是有效的＊
With the quick development of science and technology,the extensive apply of information handling,computer communicating,robot controlling,and productive process automating,the systems that people meet are large scale,abundant content and complex phenomenon. A lot of man-made systems have appeared which reflect science and technology trend in the area such as communication,manufacture,traffic,military and productive process. It's not convenient to describe these systems with differential equations or difference equations. These systems are different from not only the continuous systems that are described with differential equations but also the discrete systems that are described with difference equations. The used knowledge is not applicable to these new problems. The demand to study these systems prompts the development of theory of discrete event dynamical systems (DEDS). DEDS theory reflects dynamical law of all kinds of man-made systems. With going deep study,people start knows a few important problems w
hich discrete event interacting with continuous variable that so called hybrid system. Unlike the continuous variable dynamical system (CVDS) or discrete event dynamical system (DEDS),hybrid system contains not only continuous dynamical system subject to Newton's law of causation but also discrete event system satisfied the optimal decision logic principle,and both of them accord with the strong interaction condition.
The main contents contain the analysis and control of hybrid systems. The controls of hybrid systems mainly deal with state feedback control and neural networks control and analysis of hybrid systems mainly deal with theory of Lyapunov stability on the basis of analyzing and synthesizing current control theory and method. In this dissertation,the main contributions are as follows:
1. Hybrid system construction analysis. The concept,property and quality of hybrid system got deep into study from basic construction. Hybrid systems are
classified according the interacting type of discrete event and continuous variable. At last,a classic of hybrid system called parameter hybrid system is analyzed and an algorithm is proposed.
2. Stability analysis of hybrid system. Two conditions of hybrid system stability are given and an algorithm that determines stable border is given based on linear matrix inequalities.
3. Neural networks control of hybrid systems. Proposed a kind of method that is improved back propagation neural network. A neural network controller is designed. The tracking control of hybrid system is realized by model prediction and feedback correct of neural network control.
4. State feedback control of hybrid chaotic system. From analyzing continuous chaotic system,proposed Lyapunov exponent control method of continuous chaotic system based on state feedback control. System stability is realized. The control strategy is extended hybrid chaotic system and a designing controller method of hybrid chaotic system is deduced. From Lyapunov stability theory of nonlinear system,got convergent region of system. This control method is demonstrated effective by the study of a kind of hybrid system.
引文
Abadi M. and Lamport L. (1992). An old-fashioned recipe for real time, In J.W. de Bakker, K. Huizing, W.-P. de Roever, and G. Rozenberg, editors, Real Time: Theory in Practice, Lecture Notes in Computer Science 600, pages 1-27. Springer-Verlag
Alur R. and Dill D.L. (1990). Automata for modeling real-time systems, In M.S. Paterson, editor, ICALP 90: Automata, Languages, and Programming, Lecture Notes in Computer Science 443, pages 322-335.Springer-Verlag
Alur R. and Henzinger T.A. (1994). A really temporal logic, Journal of the ACM, 41(1):181-204
Alur R. and Dill D.(1994). A theory of Timed Automata, Theoretic Computer Science, 126(1):183-235
Alur R. Henzinger T.A., Sontag E.D. (1996). Hybrid systems Ⅲ-verification and control, LNCS, Vol. 1066, Springer-Verlag
Alur R., Coucoubetis C., Halbwachs N., Henzinger T.A., Ho P.-H., Nicollin X., Olivero A., Sifakis J. and Yovine S. (1995). The algorithmic analysis of hybrid systems, Theoretical Computer Science, 138:3-34
Alur R., Courcoubetis C. and Dill D.L. (1993). Model checking in dense real time, Information and Computation, 104(1): 2-34
Alur R., Courcoubetis C. and Henzinger T.A. (1993). Computing accumulated delays in real-time systems, In C. Courcoubetis, editor, CAV 93: Computer-aided Verification, Lecture Notes in Computer Science 697, pp181-193. Springer-Verlag
Alur R., Courcoubetis C., Henzinger T. A. and Ho P. H. (1993). Hybrid Automata: An algorithmic approach to the specification and verification of hybrid systems, Hybrid Systems. Lecture Notes in Computer Science 736, pp209-229, Springer Verlag
Alur R., Feder T. and Henzinger T.A. (1991). The benefits of relaxing punctuality, In Proceedings of the Tenth Annual Symposium on Principles of Distributed Computing, pages 139-152. ACM Press
Alur R., Henzinger T.A. and Ho P. H. (1993). Automatic symbolic verification of
embedded systems. In Proceedings of the 14th Annual Real-time Systems Symposium, pages 2-11. IEEE Computer Society Press, The full version appeared as Cornell Technical Report CSD-TR-95-1513.
Alur R., Henzinger T.A. and Vardi M.Y. (1993). Parametric real-time reasoning, In Proceedings of the 25th Annual Symposium on Theory of Computing, pages 592-601. ACM Press
Anderson M. (1993). Modelling of Combined Discrete Event and Continuous Time Dynamcal Systems, Preprints of 12th IFAC World Congress, Vol.9, pp69-72, Sydney, Australia
Antsaklis P.J., Kohn W., Nerode A. and Sastry S. (1997). Hybrid systems Ⅳ, LNCS Vol. 1273, Springer-Verlag
Antsaklis P.J., Kohn W., Nerode A.N. and Sastry S. (1995). Hybrid systems Ⅱ, LNCS, Vol.999, Springer-Verlag
Antsaklis P.J., Nerode A. (1998). Hybrid Control Systems: An Introductory Discussion to the Special Issue, IEEE Transactions on Automatic Control, Vol.43, No.4, April
Antsaklis P.J., Stiver J.A. and Lemmon M. (1993). Hybrid System Modeling and autonomous Control Systems, Lecture Notes in Computer Science 736, pp366-392, Springer-Verlag
Arasin E. and Maier O. (1999). Optimal control for timed automata, In: 14th World Congress of IFAC.
Asarin E., Manna Z. and Pnueli A. (1995). Reachability analysis of dynamical systems having piecewise-constant derivatives, Theoretical Computer Science, 138(1):201-210
Asarin E., Maler O., Pnueli A. and Sifakis J.(1998). Controller synthesis for timed automata, Proc. of the IFAC Symp. on System structure and Control. Elsevier Science Publishers, 469-474
Back A., Guckenheimer J. and Myers M. (1993). A dynamical simulation facility for hybrid systems, LNCS 736, pp255-267, Springer-Verlag
Bail J.L., Alla H. and David R. (1991). Hybrid Petri nets, In: European Control Conference, Grenoble, pp1472-1477
Barmish B. R. and Kang H. I. (1993). A survey of extreme point results for robustness of control systems, Automatica, 29(1): 13-35
Basso M Genesio R and Tesi A (1997). Stabilizing periodic orbits of forced systems
via generalized Pyragas controllers. IEEE Transaction Circuits System I, 44(10):1023-1027
Bemporad A., Morari M. (1999). Control of systems integrating logic, dynamics, and constrains, Automatica, Vol 35, pp407-427
Bencze W.J., Franklin G.F. (1995). A Separation Principle for Hybrid Control Systems, IEEE on Control System, (4): pp80-85
Benvenisre A. and Guernic P.L. (1990). Hybrid dynamical systems, theory and the SIGNAL language, IEEE Trans on AC, Vol.35, No.5, pp535-546
Bett C.J. and Lemmon M. (1999). Safe implementation of supervisory command, LNCS 1273, Springer-Verlag
Birdwell J.D. and Moore B.C. (1995). Condensation of information from signals for process modeling and control, LNCS 999, Springer-Verlag
Blondel V.D., Tsitsiklis J.N. (1999). Complexity of stability and controllability of elementary hybrid systems, Automatica, Vol 35, pp479-489
Bosscher D., Polak I. and Vaandrager F. (1994). Verification of an audio-control protocol. In H. Langrnaack, W.-P. deRoever, and J. Vytopil, editors, FTRTFT 94: Formal Techniques in Real-time and Fault-tolerant Systems, Lecture Notes in Computer Science 863, pages 170-192. Springer-Verlag
Bouajjani A., Echahed R. and Robbana R. (1994). Verifying invariance properties of timed systems with duration variables, In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, FTRTFT 94: Formal Techniques in Real-time and Fault-tolerant Systems, Lecture Notes in Computer Science 863, pages 193-210. Springer-Verlag
Bouajjani A., Echahed R. and Sifakis J. (1993). On model checking for real-time properties with durations, In Proceedings of the Eighth Annual Symposium on Logic in Computer Science, pages 147-159. IEEE Computer Society Press
Bouajjani A., Lakhnech Y. and Robbana R. (1995). From duration calculus to linear hybrid automata, In Proceedings of the Conference on Computer-Aided Verification, Lecture Notes in Computer Science 939, pages 196-210. Springer-Verlag
Bowen J.P. and Hinchey M.G. (1995). Ten commandments of formal methods, IEEE Computer, 28(4):56-63
Boyd S., El Ghaoui L., Feron E. and Balakrishnan V. (1994). Linear Matrix Inequalities in System and Control Theory, SIAM
Branicky M. S. and Mitter S. M. (1995). Algorithms for optimal hybrid control, In Proc. of the 34th IEEE Conference on Decision and Control, pages 2661-2666, New Orleans
Branicky M. S. (1995). Studies in Hybrid Systems: Modeling, Analysis, and Control, PhD thesis, Massachusetts Institute of Tech.
Branicky M. S. (1998). Multiple Lyapunov functions and other analysis tools for switched and hybrid systems, IEEE Trans. on Automatic Control, 43(4):475-482
Branicky M. S. Borkar V. S. and Mitter S. K. (1994). A unified framework for hybrid control, In Proc. of the 33rd IEEE Conference on Decision and Control, pages 4228-4234
Branicky M. S., Borkar V. S. and Mitter S. K. (1998). A unified framework for hybrid control: Model and optimal control theory, IEEE Trans. on Automatic Control, 43(1):31-45
Branicky M.S. (1994). Stability of switched and hybrid systems, Proc. 33rd CDC, pp.3498-3503, Lake Buena Vista, FL, Dec.
Branicky M.S. (1995). Universal computation and other capabilities of hybrid and continuous dynamical systems, Theoretical Computer Science, 138(1):67-100
Branicky M.S., Dolginova E. And Lynch N. (1997). A toolbox for Proving and maintaining hybrid specifications, LNCS 1273, Springer-Verlag
Brayman V. and Vagners J. (1995). Application of the Kohn-Nerode control law extraction procedure to the inverted pendulum problem, LNCS 999, Springer-Verlag
Brockett R. (1996). Hybrid systems in classical mechanics, In Proc. of 13th IFAC, pages c:473-476
Brockett R.W. (1993). Hybrid models for motion control systems, CICS-P-346, Centre for Intelligent Control Systems, Massachusetts Institute of Technology
Broucke M. And Varaiya P. (1995). Decidability of hybrid systems with Linear and nonlinear diffemtial inclusions, LNCS 999, Springer-Verlag
Burch J.R., Clarke E.M., McMillan K.L., Dill D.L. and Hwang L.J. (1992). Symbolic model checking:1020 states and beyond, Information and Computation, Vol.98, No.2, pp142-170
Cassandras C. G. and Pepyne D. L. (1997). Optimal control of a class of hybrid systems, In: Proc of 36th IEEE CDC, 133-138.
Cassandras C. G., Pepyne D. L. and Wardi Y. (2001). Optimal control of a class of
hybrid systems, IEEE Transactions on automatic control, Vol.46, No.3
Chen G and Lai D (1997). Making a dynamical system chaotic: feedback control of Lyapunov exponents for discrete-time dynamical systems. IEEE Trans. Circuits Syst. I, 44(3):250-253
Chen Y. L. and Provan G. (1997), Modeling and diagnosis of timed discrete event systems-a factory automation example, In Proceedings of the American Control Conference, 31-36
Cho Y. C., Cassandras C. G., Pepyne D. L. (2000). Forward Algorithms for Optimal Control a Class of Hybrid Systems, Proc. Of the 39th IEEE CDC.
Chombart A., Flans J.M., Valentin-Roubinet C. (1996). Hybrid Systems Modeling: A Comparison of Three Methods Applied to an example, Proc. of 13th IFAC World Congress San Francisco, USA
Clarke E.M., Grumberg O. and Long D.E. (1994). Model checking and abstraction, ACM Trans. on Programming Languages and Systems, Vol. 16, pp 1512-1542
Clarke E. M. and Wing J.M.(1996). Formal methods: State and future direction, ACM Computing Surveys, vol.28, pp.626-643
Costa O.L.V. (1991). Impulse control of Piecewise-Deterministic processes via linear programming, IEEE Transactions on Automatic Control, Vol.36, No.3, March
David R. (1995). Grafcet: A powerful tool for specification of logic controllers, IEEE Trans. Control Systems Technology, 3(3):253-68
David R. and Alla H.(1992). Petri Nets and Grafcet, Prentice Hall Int.
Demongodin I. and Koussoulas N.T. (1998). Differential Petri Nets: representing continuous systems in a discrete-event world, IEEE Transactions on Automatic Control, Vol.43, No.4, April
Deshpande A. and Varaiya P. (1995). Information structures for control and verification of hybrid systems, In Proceedings of the American Control Conference
Deshpande A. and Varaiya P. (1995). Viable control of hybrid systems, In Proceedings of the 1994 Workshop on Hybrid Systems and Autonomous Control, LNCS 999. Springer-Verlag
Deshpande A. and Varaiya P. (1996). Viable control of hybrid systems, Proceedings of the 35th conference on decision and control, Kobe, Japan, December
Deshpande A. and Varaiya P. (1997). Viable control of hybrid systems, LNCS 1273, Springer Verlag
Digennaro D., Horm C., Kulkarni S.R. and Ramadge P.J. (1998). Discrete Event Dynamic Systems: Theory and Applications, 8, 343-351
Dill D.L. and Wong-Toi H. (1993). Using iterative symbolic approximation for timing verification. In T. Rus, editor, Proceedings of the First AMAST Workshop on Real-time Systems
Dimitriadis V.D., Shah N. and Pantelides C.C. (1996). Optimal design of hybrid controller for hybrid process systems, LNCS 1066, Springer-Verlag
Dogruel M. and Ozguner U. (1994). Stability of hybrid systems, In IEEE International Symposium on Intelligent Control, pages 129-134
Dogruel M. and Ozguner U. (1995). Modeling and stability issues in hybrid systems, LNCS 999, Springer-Verlag, pp148-165
Dogruel M., Drakunov S. and Ozguner U. (1993). Sliding mode control in discrete state systems, In Proceedings of the 32nd CDC, pages 1194-1199
Dogruel M., Ozguner U. and Drakunov S. (1996). Sliding-mode control in discrete-state and Hybrid systems, IEEE Trans. on Automatic Control, 41(3):414-419
Donde V. (2000). A hybrid system using two cascaded regulators, ECE Dep., University of Illinois at Urbana Champaign
Donde V. (2001). Development of multiple Lyapunov functions for a hybrid power system with a tap changer, ECE Dep., University of Illinois at Urbana Champaign
Davoren J. M. (1999). On hybrid systems and the moda μcalculus, In Antsaklis P. J., editor, Hybrid systems: Computation and control, LNCS, Vol.1569, Springer-Verlag
Davoren J. M. and Nerode A.(2000). Logics for hybrid systems, Proceedings of the IEEE, 88(9): 1000-1025
Davoren J. M. and Moor T. (2000). Logic-based design and synthesis of controllers for hybrid systems, Technical report, Dept, Systems Engineering, RSESE, Australian National University, July 2000
Eker J. and Mlamborg J. (1999). Design and implementation of hybrid control strategy. IEEE Control Systems Magazine, 19(4): 12-21.
Elmqvist H., Cellier F. E. and Otter M. (1993). Object-oriented modeling of hybrid systems, In Proc. of Europ. Simul. Symp., Delft, The Netherlands
Engberg U., Gronning P. and Lamport L. (1992). Machanical verification of concurrent systems with TLA, In Logic of Programs, Lecture Notes in Computer
Science. Springer-Verlag
Engell S., Kowalewski S. and Krogh B.H. (1996). Discrete Events and Hybrid Systems in Process Control, Proceedings Chemical Process Control V, Tahoe City.
Fang J and Hong Y (1999). Switching manifold approach to chaos synchronization. Physical Review E, 59(3): 2523-2526.
Fereira E. d.and Krogh B. H. (1998). Switching controllers based on neural network estimates of stability regions and controller performance, Springer-Verlag
Frank P.M., Fault diagnosis in dynamic systems using analytical and knowledge based redundancy - a survey and some new results, Automatica, vol.26, no.3, 1990, 495-474
Frommer H, Kulkarni S R, Ramadge P J (1998). Controller switching basedon output prediction errors, IEEE Trans. Automat Control, 43(5):596-607.
Gahinet P., Nemirovski A., Laub A. J. and Chilali M. (1995). LMI Control Toolbox, For use with MATLAB. The Math Works Inc.
Ge X., Nerode A., Kohn W. and James J. (1995). Distributed intelligent control theory of hybrid systems, In Proceedings of the Fifth Annual Conference on AI, Simulation, and Planning in High Autonomy Systems, pages 12-15, IEEE
Geest T(1992). Petiod-doubling bifurcations and chaos in an enzyme reaction. J Phys Chem, 96(14):5678-5680.
Geza-Kolumban and Michael Peter Kennedy (1998). The role of synchronization in digital communications using chaos. IEEE Transactions on circuits and systems-I:Fundamental theory and applications, 45(11): 235-239.
Gilbert E.G. and Tan K.T. (1991). Linear systems with state and control constraints: the theory and application of maximal output admissible sets, IEEE Transactions on Automatic Control, Vol.36, No.9, September
Giua A, Usai E (1996). High level Petri nets, Proc. Of the 35th CDC, Japan.
Green M. and Limebeer D. J. N. (1995). Linear Robust Control, Prentice Hall
Grossman R.L. and Larson R.G. (1995). An algebraic approach to hybrid systems. Theoretical Computer Science, Vol. 138, pp 101-112
Grossman R.L., Nerode A., Ravn A.P. and Rischel H. (1993). Hybrid Systems. Lecture Notes in Computer Science 736, Springer-Verlag
Guckenheimer J. and Nerode A. (1995). Simulation for hybrid systems and nonlinear control, In CDC92, pages 2980-2981
Gyorgyi L, Field R J (1991). Simple model of deterministic chaos in the Belousov-Zhabotinsky reaction. J Phys Chem,95(17):6594-6602.
Halbwachs N., Raymond P. and Proy Y.-E. (1994), Verification of linear hybrid systems by means of convex approximation, In B. LeCharlier, editor, SAS 94: Static Analysis Symposium, Lecture Notes in Computer Science 864. Springer-Verlag
He K X and Lemmon M D (1998). Lyapunov stability of continuous-valued systems under the supervision of discrete-event transition systems. Springer-Verlag, pp. 175-189.
Hedlund S. and Rantzer A. (1999). Optimal control of hybrid systems, In IEEE CDC.
Heemels W. P. (1999). Linear complementarity systems: A study in Hybrid Dynamics. Eindhoven: Technolgy University.
Henzinger T.A. (1997). The theory of hybrid automata, Proc. of the 11th Annual Symposium on Logic in Computer Science, IEEE Computer Society Press, Silverspring, MD, 1996,pp.278-292.
Henzinger T.A., Horowitz B. and Majumdar R.(1999). Rectangular hybrid Games, Proc. of the Tenth international Conference on Concurrency Theory, Lecture notes in Computer Science 1664, Springer-Verlag, pp. 320-335
Henzinger T.A. and Ho P.-H. (1995). A note on abstract-interpretation strategies for hybrid automata, In Proceedings of the 1994 Workshop on Hybrid Systems and Autonomous Control, Lecture Notes in Computer Science. Springer-Verlag
Henzinger T.A. and Ho P. H. (1995). Algorithmic analysis of nonlinear hybrid systems, In Proceedings of the Conference on Computer-Aided Verification, Lecture Notes in Computer Science 939, pages 225-238, Springer-Verlag
Henzinger T.A. and Ho P. H. (1995). HyTech: The Comell Hybrid Tech-nology Tool. In Proceedings of the 1994 Workshop on Hybrid Systems and Autonomous Control, Lecture Notes in Computer Science. Springer-Verlag, Also appeared as Cornell Technical Report CSD-TR-95-1521.
Henzinger T.A. and Kopke P.W. (1995). Hybrid automata with finite mutual simulations, Technical Report CSD-TR-95-1497, Cornell University
Henzinger T.A., Ho P.H. and Wong-Toi H. (1998). Algorithmic Analysis of Nonlinear Hybrid Systems, IEEE Transactions on Automatic Control, Vol.43, No.4, April
Henzinger T.A., Ho P-H and Wong-Toi H. (1995). A user guide to HyTech, Dept. of Computer science, Cornell University
Henzinger T.A., Kopke P.W., Puri A. and Varaiya P. (1995). What's decidable about hybrid automata? In Proceedings of the 27th Annual Symposium on Theory of Computing, pages 373-382. ACM Press
Henzinger T.A., Manna Z. and Pnueli A. (1992). Timed transition systems, In J.W. de Bakker, K. Huizing, W.-P. deRoever, and G. Rozenberg, editors, Real Time: Theory in Practice, Lecture Notes in Computer Science 600, pages 226-251. Springer-Verlag
Henzinger T.A., Manna Z. and Pnueli A. (1993). Towards refining temporal specifications into hybrid systems, In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Hybrid Systems, Lecture Notes in Computer Science 736, pages 60-76. Springer-Verlag
Henzinger T.A., Manna Z., and Pnueli A. (1994). Temporal proof methodologies for timed transition systems, Information and Computation, 112(2):273-337
Henzinger T.A., Nicollin X., Sifakis J. and Yovine S. (1994). Symbolic model checking for real-time systems, Information and Computation, 111(2): 193-244
Heymann M. and Lin F. (1998). Discrete-event control of nondeterministic systems, IEEE Transactions on Automatic Control, Vol.43, No. 1, January
Heymann M., Lin F. And Meyer G. (1998). Synthesis and viability of minimally interventive legal controllers for hybrid systems, Discrete Event Dynamic Systems: Theory and Applications, 8, 105-135
Hiskens I. A. (2000). Identifiably of Hybrid System Models, Proc. Of the IEEE international conference on control applications, Alaska, 25-27
Hiskens I. A. (2001a). Inverse Problems in Power System, in Proc. Of international symposium on bulk power system dynamic and control
Hiskens I. A. (2001b). Stability of limit cycles in hybrid systems, in Proc. Of 34th Hawaii International Conference on System Science, 140-145
Hiskens I. A. and Pai M. A. (2000). Hybrid systems view of power system modeling, in Proc. Of IEEE International Symposium on Circuits and Systems, 28-31
Hiskens I. A., Pai M. A. and Nguyen B. (2000). Bounding Uncertainty in Power Dynamic Simulation, in Proc. Of IEEE PES, 97-101
Ho P.-H. and Wong-Toi H. (1995). Automated analysis of an audio control protocol, In Proceedings of the Conference on Computer-Aided Verification, Lecture Notes in Computer Science 939, pages 381-394, Springer-Verlag
Hoffmann I. and Engell S.(1998). Identification of Hybrid Systems, Proceedings of
the American Control Conference, Philadelphia, Pennsylvania, June
Holloway L. (1992). Properties of behavioral models for a class of hybrid systems, In: Proc of 31st CDC
Holloway L.E., Krogh B.H. and Giua A. (1997). A survey of Petri Net methods for controlled discrete event systems, Discrete Event Dynamic Systems: Theory and Applications, 7,151-190
Hooman J. (1993). A compositional approach to the design of hybrid systems, In Proceedings of the 1992 Workshop on Hybrid Systems, Lecture Notes in Computer Science 736, pages 121-148. Springer-Verlag
Horn C. and Ramadge P. J. (1995). Robustness issues for hybrid systems. In Proc. of 34th IEEE Conference on Decision and Control, pages 1467-1472
Hou L., Michel A.N. and Ye H. (1996). Stability analysis of switched systems, Proc. 35rd CDC, pp1208-1212, Kobe, Japan, Dec.
Howard Wong-Toi.(1994). Symbolic Approximations for Verifying Real-Time Systems, PhD thesis, Department of Computer Science, Stanford University, CA, December
Hubbard B. B. (1995). Hybrid systems: the control theory of tomorrow? SIAM NEWS, 8(6):12-13, July
Iftar A. and Ozguner U. (1998). Overlapping Decompsitions, Expansions, Contractions, and Stability of Hybrid Systems, IEEE Transactions on Automatic Control, Vol.43, No.8, August
Johansen T. A. and Foss B. A. (1993). State-space modeling using operating regime decomposition and local models, In Proc. of 12th IFAC, pages 1:431-434
Johansson K. H., Lygeros J., Sastry S. and Egerstedt M. (1999). Simulation of Zeno hybrid automata, Proc. of the 38th IEEE Conference on Decision and Control, Phoenix, Arizona USA, pp.3538-3543
Johansson K. H., Egerstedt M., Lygeros J. and Sastry S.(1999). On the regularization of Zeno hybrid automata, System and Control Letter, 38:141-150
Johansson M. and Rantzer A. (1998). Computation of piecewise quadratic Lyapunov functions for hybrid sytems, IEEE Trans. on Automatic Control, 43(4):555-559
Johansson M. and Rantzer A. (1997). Computation of piecewise quadratic Lyapunov functions for hybrid systems, In Proc. of the 4th European Control Conference, Brussels, Belgium
Johansson M. and Rantzer A. (1997). On the computation of piecewise quadratic
Lyapunov functions, In Proc. of 36th IEEE Conference on Decision and Control, San Diego
Kapur D. And Shyamasundar R.K. (1997). Synthesizing controllers for hybrid systems, LNCS 1201, Springer Verlag
Kesten Y., Pnueli A., Sifakis J. and Yovine S. (1993). Integration graphs: a class of decidable hybrid systems, In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Hybrid Systems, Lecture Notes in Computer Science 736, pages 179-208. Springer-Verlag
Kohn W. and Nerode A. (1993). A hybrid systems architecture, In J.N. Crossley, J.B. Remmel, R.A. Shore, and M.E. Sweedler, editors, Logic Methods, Lecture Notes in Computer Science. Springer-Verlag
Kohn W., James J., Nerode A., Harbison K. and Agrawala A. (1995). A hybrid system approach to computer-aided control engineering, IEE Control Systems Magazine, 15(2):14-25
Kohn W., Nerode A., Rammel J.B. and Yakhnis A. (1995). Viability in hybrid systems, Theoretical Computer Science, 138(1): 141-168
Kohn W., Nerode A., Remmel J.B. and Ge X. (1994). Mutiple agent hybrid control: carrier manifolds and chattering approximations to optimal control, In CDC94
Kolmanovsky and Gilbert (1996). Multimode Regulators of Systems with with State & Control Constraints and Disturbance Input, Lecture Nones in control and information sciences, Springer-Verlag.
Kourjanski M. and Varaiya P. (1996). Stability of Hybrid Systems, LNCS 1066, Springer-Verlag
Koutsoukos X.D., He K.X., Lemmon M.D. and Antsaklis P.J. (1998). Timed Petri Nets in hybrid systems: stability and supervisory control, Discrete Event Dynamic Systems: Theory and Applications, 8, 137-173
Kurshan R.P. (1994). Computer-aided Verification of Coordinating Processes: The automata-theoretic approach, Princeton University Press
Labinaz G. Banoumi M.M. and Rudie K. (1996). Modeling and Control of Hybrid Systems: A Survey, Proc. of 13th IFAC World Congress, San Francisco, USA, pp293-304
Lakshmikantham V and Vatsala A S (2002). Hybrid systems on time scales, J. of Computational and Applied Mathematics, 141: 227-235.
Lamport L. (1994). The temporal logic of actions, ACM Transactions on
Programming Languages and Systems, 16(3):872-923
Larsen K.G., Pettersson P., Yi W. (1995). Model-checking for real-time systems, LNCS 965, Springer, Berlin
Lauzon S.C., Ma A.K.L., Mills J.K. and Benhabib B. (1996). Application of discrete-event-systems theory to flexible Manufacturing, IEEE Control Systems, Feb.
Lemmon M. and Antsaklis P.J. (1995). Inductively inferring valid logical models of continuous-state dynamical systems, Theoretical Computer Science, 138(1):201-210
Lemmon M. D., Stiver J. A. and Antsaklis P. J. (1993). Event identification and intelligent hybrid control, In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, LNCS 736, pages 268-296, Springer-Verlag
Lemmon M., Bett C., Szymanski P. and Antsaklis P. (1995). Constructing Hybrid systems from robust linear control agents, LNCS 999, pp322-343
Lemmon M.D. and Antsaklis P.J. (1993). Event identification in hybrid control systems, Proceedings of the 32nd Conference on Decision and Control, San Antonlo,Texas, December
Lennartson B., Tittus M., Egardt B. and Pettersson S. (1996). Hybrid Systems in process control, IEEE Control System, Oct.
Lin F. (1992). Robust and Adaptive Supervisory Control of Discrete Event Systems, ACC, pp2804-2808
Lin F. and Wonham W.M. (1995), Supervisory control of timed discrete-event systems under partial observation, IEEE Transactions on Automatic Control, vol.40, no.3, 558-562
LM-Aguilar J., Garcia R. A. and Troarevsky M. L. (1998). Exponential stability of a certain class of hybrid systems and digital feedback stabilizers, In: Proc. ACC.
Lorenz E.N. (1963) Deterministic non-periodic flows, J. Atmos. Sci.,20:130-141.
Lu J., Liao L.-Z., Nerode A., Taylor J.H. (1993). Optimal Control of Systems with Continuous and Discrete States, Proc. IEEE Conf. Decision Contr., San Antonlo, Texas, Dec. pp2292-2297.
Lunze J., Nixdorf B. and Schroder J. (1999). Deterministic discrete-event representation of linear continuous-variable systems, Automatica, 35:395-406
Luus R. (1990). Application of dynamic programming to high-dimensional non-linear optimal control probelms, Int. J. Control, Vol.52,No. 1, pp239-250
Lygeros J., Godbole D. N. and Sastry S. (1998). Verified hybrid controllers for automated vehicles, IEEE Trans. on Automatic Control, 43(4):522-539
Lygeros J., Tomlin C., Sastry S. (1999). Controllers for reachability specifications for hybrid systems, Automatica, Vol 35, pp349-370
Maler O., Manna Z. and Pnueli A. (1992). From timed to hybrid systems, In J.W. de Bakker, K. Huizing, W.-P. deRoever, and G. Rozenberg, editors, Real Time: Theory in Practice, Lecture Notes in Computer Science 600, pages 447-484. Springer-Verlag
Maler O., Pnueli A. and Sifakis J. (1995). On the synthesis of discrete controllers for timed systems, In STACS 95, Lecture Notes in Computer Science. Springer-Verlag
Maller O. (1997). Hybrid and Real-Time Systems: Hart'97, LNCS Vol. 1201, Springer-Verlag
Malmborg J., Bernhardsson B. and Astrom K. J.(1996). A stabilizing switching scheme for multi controller systems, In Proc. of 13th IFAC, pages F:229-234
Mankin J C,Hudson J L.(1984). Oscillatory and chaotic behaviour of a forced exothermic chemical reaction. Chem Eng Sci, 39(12): 1807-1814.
Manna Z. and Pnueli A. (1993). Verifying hybrid systems, In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Hybrid Systems, Lecture Notes in Computer Science 736, pages 4-35. Springer-Verlag
Manon P., Claire, Gilles G. (2002). Optimal control of hybrid dynamical systems: application in process engineering, Control Engineering Practice 10:133-149.
Mao-Lin Ni and Meng Joo Er (2002). Stability of linear systems with delayed per turbations: an LMI approach, IEEE Trans. on Circuits and Systems. Vol. 49, No.1, April
Mayne D. Q. and Rawings J. B. (2000). Constrained Model Predictive: Stability and Optimality, Automatic, 36:789-814.
McCarragher B.J. and Austin D.J. (1998). Model adaptive hybrid dynamical control for constrained motion systems, IEEE Trans. on Automatic Control. Vol.43, No.4.
McManis J. and Varaiya P. (1994). Suspension automata: a decidable class of hybrid automata, In D.L. Dill, editor, CAV 94:Computer-aided Verification, Lecture Notes in Computer Science 818, pages 105-117. Springer-Verlag
Miller B.M. (1997). Representation of robust and Non-robust solutions of Nonlinear Discrete-continuous systems, LNCS 1201, Springer-Verlag
Moon I., Powers G.J., Burch J.R. and Clarke E.M.(1992). Automatic verification of sequential control systems using temporal logic, AICHE Journal, Vol.38, pp67-75
Moor T. and Davoren J. M.(2000). Robust controller synthesis for hybrid systems using modal logic, Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, Springer-Verlag
Morse A.S., Pantelides C.C., Sastry S.S. and Schumacher J.M. (1999). Introduction to the special issue on hybrid systems, Automatica 35
Nerode A. and Kohn W. (1993). Models for hybrid systems: automata, topologies, controllability, observability, In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Hybrid Systems, Lecture Notes in Computer Science 736, pages 317-356. Springer-Verlag
Nerode A. and Kohn W. (1993). Models for hybrid systems: Automata, topologies, stability, TR93-11, Mathematical Sciences Institute, Comell Univ.
Nerode A. and Kohn W. (1993). Multiple-agent hybrid control architecture, In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Hybrid Systems, Lecture Notes in Computer Science 736, pages 297-316. Springer-Verlag
Nerode A., Remmel J.B. and Yakhnis A. (1995). Controllers as fixed points of set-valued operators, LNCS 999, Springer-Verlag
Nicollin X., Olivero A., Sifakis J. and Yovine S. (1993). An approach to the description and analysis of hybrid systems, In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Hybrid Systems, Lecture Notes in Computer Science 736, pages 149-178. Springer-Verlag
Nicollin X., Sifakis J. and Yovine S. (1992). Compiling real-time specifications into extended automata, IEEE Tr. On SE Vol. 18, pp794-804
Olivero A., Sifakis J. and Yovine S. (1994). Using abstractions for the verification of linear hybrid systems, In D.L. Dill, editor, CAV 94: Computer-aided Verification, Lecture Notes in Computer Science 818, pages 81-94. Springer-Verlag
Ozveren C.M. and Willsky A.S. (1991). Output stabilizability of discrete-event dynamic systems, IEEE Transactions on Automatic Control, Vol.36, No.8, August
Passino K.M., Michel A.N. and Antsaklis P.J. (1994). Lyapunov stability of a class of discrete event systems, IEEE Transactions on Automatic Control, Vol.39, No.2, February
Paul C. J., Holloway L. E., Yan D. and Krogh B. H. (1992), An Intelligent Reactive Monitoring and Scheduling System, IEEE Control Systems, 78-85
Peleties P. and DeCarlo R. (1989). A modeling strategy with event structures for hybrid systems, In Proc. of the 28th IEEE Conference on Decision and Control, pages 1308-1313, Tampa, Florida
Peleties P. and DeCarlo R. (1991). Asymptotic stability of m-switched systems using Lyapunov-like functions, In Proc. of the American Control Conference, pages 1679-1684, Boston
Peleties P. and DeCarlo R. (1992). Asymptotic stability of m-switched systems using Lyapunov-like functions, In Proc. of the 31st IEEE Conference on Decision and Control, pages 3438-3439
Peleties P. and DeCarlo R. (1993). A modeling strategy for hybrid systems based on event structures, Discrete Event Dynamic Systems: Theory and Applications, pages 39-69
Peleties P. and DeCarlo R. (1998). Asymptotic stability of 2-switched systems using Lyapunov-like functions, In Proceddings of the 1993 American Control Conference, pages 3089-3093
Peleties P. and DeCarlo R. (1994). Analysis of a hybrid system using symbolic dynamics and Petri nets, Automatica, 30(9): 1421-1427
Peng B.,Petrov V. and Showalter K(1991). Controlling Chemical Chaos. J. Phys. Chem. 95:4957-4959
Peng B,Schott S K.(1990). Period doubling and chaos in a three-variable autocatalater. J Phys Chem, 94(13):5243-5246.
Pepyne D.L. and Cassandras C.G. (1998). Modeling, Analysis, and Optimal Control of a Class of Hybrid Systems, Discrete Event Dynamic Systems: Theory and Applications, 8, pp175-201
Pettersson S. and Lennartson B. (1995). Hybrid modelling focused on hybrid Petri nets, In 2nd European Workshop on Real-time and Hybrid systems, pages 303-309, Grenoble
Pettersson S. and Lennartson B. (1995). Time-optimal control for a class of hybrid systems, In Proc. of 3rd European Control Conference, pages 2054-2059
Pettersson S. and Lennartson B. (1996). Stability and robustness for hybrid systems, In Proc. of the 35th IEEE Conference on Decision and Control, pages 1202-1207, Kobe, Japan
Pettersson S. and Lennartson B. (1996). Time-optimal control and disturbance compensation for a class of hybrid systems, In Proc. of 13th IFAC, volume J, pp
281-286
Pettersson S. and Lennartson B. (1997). An LMI approach for stability analysis of non-linear systems, In Proc. of European Control Conference, Brussels, July
Pettersson S. and Lennartson B. (1997). Controller design of hybrid systems, In Oded Maler, editor, Lecture Notes in Computer Science 1201, pages 240--254. Springer
Pettersson S. and Lennartson B. (1997). Exponential stability analysis of nonlinear systems using LMIs, In Proc. of the 36th IEEE Conference on Decision and Control, pages 199-204, San Diego
Pettersson S. and Lennartson B. (1997). LMI for stability and robustness of hybrid systems, In Proc. of the American Control Conference, pages 1714-1718, Albuquerque
Pettersson S. and Lennartson B. (1999). Exponential stability of hybrid systems using piecewise quadratic Lyapunov functions resulting in an LMI problem, In Proc. Of the 14th IFAC, Beijing, China, July
Probst S.T., Powers G.J., Long D.E. and Moon I. (1997). Verification of a logically controlled solids transport system using symbolic model checking, Comp. Chem. Engng., Vol.21, No.4, pp417-429
Puri A. and Varaiya P. (1994). Decidability of hybrid systems with rectangular differential inclusions, In D.L. Dill, editor, CAV 94: Computer-aided Verification, Lecture Notes in Computer Science 818, pages 95-104. Springer-Verlag
Puri A. and Varaiya P. (1995). Driving safely in smart cars, Technical Report UCB-ITS-PRR-95-24, California PATH Research Report, August
Puri A. and Varaiya P. (1995). Verification of Hybrid Systems Using Abstractions, Hybrid systems IV, LNCS 999, Springer-Verlag
Puri A. and Varaiya P. (1997). Verification of Hybrid Systems Using Abstractions, Proc. of 13th IFAC World Congress, San Francisco, USA, pp477-482
Pyragas K (1992), Continuous control of chaos by self-controlling feedback, Phys. Lett. A, vol. 170, pp.421-428.
Raisch J. (1995). Control of continuous plants by symbolic output feedback, LNCS 999, Springer-Verlag
Raisch J. and O'Young S. (1996). A DES approach to control of hybrid dynamical systems, LNCS 1066, Springer Verlag
Raisch J. and O'Young S.D. (1998). Discrete approximation and supervisory control of continuos systems, IEEE Transactions on Automatic Control, Vol.43, No.4,
April
Raven A. P., Rischel H. and Holdgaard M. (1995). Hybrid control of a robot-A case study, Hybrid Systems 11,391-404
Raven A. P., Rischel H. and Hansen K. M. (1993). Specifying and Verifying Requirements of Real-Time Systems, IEEE Trans. On Software Engineering.
Riedinger P, Zanner C, Kratz F (1999). Time optimal control of hybrid systems, In: Proc of the ACC, 2466-2470.
Ruoff P (1992). Chaos in batch Belousov-Zhabotinsky systems. J Phys Chem, 96(23):9104-9106.
Stirling C.(1992). Modal and temporal logics, In Handbook of Logic in Computer Science, vol.2, Clarendon
Savkin A. V., Petersen I.R., Skafidas E., and Evans R.J. (1996). Robust Control via controlled switching, In Proc. of CESA'96
Savkin A.V. and Evans R.J. (1998). A new approach to robust control of hybrid systems over infinite time, IEEE Transactions on Automatic Control, Vol.43, No.9, September
Shamma J. S. and Poolla K. (1997). Optimal asymptotic robust performance through logic-based Switching, In: Control Using Logic-based Switching, 201-207.
Skafidas E, Evans R J and Mareels Ⅰ (1997). Optimal controllers switching for stochastic systems, In: Proc of 36th IEEE CDC, 3950-3955.
Skafidas E, Evans R J and Savkin A V (1999). Stability result for switched controller systems, Automatica, 35(4): 553-564
Stiver J. A. and Antsaklis P. J. (1992). Modeling and analysis of hybrid control systems, In Proc. of the 31st IEEE Conference on Decision and Control, pages 3748-3751
Stiver J.A. and Antsaklis P.J. (1993). State Space Partition for hybrid control system, Proceedings of the American Control Conference, San Francisco, California, June
Stiver J.A., Antsaklis P.J. and Lemmon M.D. (1995). Interface and Controller Design for Hybrid Systems, LNCS 999, Springer Verlag
Stiver J.A., Antsaklis P.J. and Lemmon M.D. (1996). An Invariant based approach to the design of hybrid control systems containing clocks, LNCS 1066, pp464-474
Stiver J.A., Antsaklis P.J. and Lemmon M.D. (1996). An Invariant based approach to the design of hybrid control systems, Proc. of 13th IFAC World Congress, San
Francisco, USA, pp467-472
Stursberg O., Kowalewski S., Hoffmann I. And Preubig J. (1997). Comparing timed and hybrid automata as approximations of continuous systems, LNCS 1273, Springer-Verlag
Takai S., Ushio T. Adn Kodama S. (1995). Static-state Feedback control of discrete-event systems under partial observation, IEEE Transactions on Automatic Control, Vol.40, No. 11, November
Tangmunarunkit W. (2001). Combination optimization of load sheldding against voltage instability, ECE Dep., University of Illinois at Urbana Champaign
Tangmunarunkit W. (2001). Optimal load sheldding against voltage instability, in Proc. Of 33rd North American power symposium, 1210-1215
Tittus M. (1995). Control Synthesis for Batch Processes, PhD thesis, Chalmers University of Technology
Tittus M. and Egardt B. (1994). Controllability and control-law synthesis of linear hybrid systems. In 11th Int. Conf. on Analysis and Optimization of Systems, pages 377-383. Springer Verlag
Tittus M. and Egardt B. (1998). Control Design for Integrator Hybrid Systems, IEEE Trans. Automat. Contr., Vol. 43, pp491-500, April
Tittus M. and Lennartson B. (1999). Hierarchical supervisory control for batch process, IEEE Trans. On Control Systems Technology, 7(5): 542-554
Tomlin C., Pappas G.J. and Sastry S. (1998). Conflict Resolution for air traffic management: a study in multiagent hybrid systems, IEEE Transactions on Automatic Control, Vol.43, No.4, April
Vassiliadis V.S., Sargent R.W.H. and Pantelides C.C. (1994). Solution of a class of multistage dynamic optimization problems. Ⅰ: problems without path constraints, Ⅱ: problems with path constraints, Ind. Eng. Chem. Res. 33, pp2111-2133.
Wang L. Y., Beydoun A., Cook J. (1997). Optimal hybrid control with applications to automotive power train systems, In: Control Using Logic -based Switching, 190-200.
Wang L. Y., Khargonekar P. P., Beydoun A (1998). Robust control of hybrid systems: performance guided strategies, New York: Springer-Verlag, pp365-389.
Wicks M. A., Peleties P., and DeCarlo R. A. (1994). Construction of piecewise Lyapunov functions for stabilising switched systems, In Proc. of the 33rd IEEE Conference on Decision and Control, pages 3492-3497
Wolf A., Swift J.B.(1985). Determining Lyapunov exponents from a time series. Phy. D., vol. 16: 285-317.
Wongtoi H. (1998). Synthesis of controllers for linear hybrid automata, in Proc. 36th IEEE CDC, 129-138.
Yan and Tang (2000), Building Hybrid Real-Time Systems in XYZ/E--Impiementation of the Steam-Boiler Control Specification Problem, Journal of Software, 11(6): 711-719.
Ye H., Michel A. N. and Hou L. (1995). Stability theory for hybrid dynamical systems, In Proc. of the 34th IEEE Conference on Decision and Control, pages 2679-2684, New Orleans
Ye H., Michel A. N., and Hou L. (1996). Stability analysis of discontinuous dynamical systems with applications, In Proc. of 13th IFAC, pages E: 461-466
Ye H., Michel A.N. and Hou L. (1998). Stability Theory for Hybrid Dynamical systems, IEEE Transactions on Automatic Control, Vol.43, No.4, April
Zhang J., Johansson K. H., Lygeros J. and Sastry S. (2000). Dynamical systems revisited: Hybrid systems with Zeno executions. IN Krogh B. and Lynch N., editors, Hybrid systems: Computation and Control, Lecture notes in Computer Science. Springer-verlag, New York
Zhang P., Cassandras C. G. (2001). An Improved Forward Algorithm for Optimal Control of a Class of Hybrid Systems, Proc. Of the 40th IEEE CDC.
Zhang Y. and Mackworth A.K. (1995). Synthesis of hybrid constrain-based controller, Hybrid Systems Ⅱ, 552-566
Zhang Y. and Mackworth A.K. (1995). Constraint nets: a semantic model for hybrid dynamic systems, Theoretical Computer Science, 138(1): 211-239
冯纯伯，刘延年(1994)，神经网络控制的现状及问题，东南大学自动化研究所，控制理论与研究，11(1)：103-106
韩景红，秦世引，宋永华(2000)，基于学习自动机的混杂电力系统紧急频率控制，电力系统自动化，Vol．24，No．18
李翊神，汪克林(1988)，非线性科学选讲，中国科技大学出版社，35-37
李晓山，周巢尘(1994)，时段演算综述，计算机学报，Vol．17(11)，842-851
刘玉忠，张霄力，赵军(2002)，一类线性开关系统的渐近稳定性，信息与控制，Vol．17，No．1
吕书强，秦世引，宋永华(2001)，混杂电力系统频率紧急控制的Petri网建模与仿真，电力系统自动化，Vol．25，No．6
唐稚松(1999)，时序逻辑程序设计与软件工程，北京：科学出版社
谢广明，郑大钟(2002)，关于一类混合动态系统能控性与镇定的研究，控制理论与应用，Vol．19，No．2
谢广明，郑大钟(2001)，线性切换系统基于范数的系统镇定条件及算法，自动化学报，Vol．27，No．1
王东生(1995)，混沌、分形及其应用，中国科技大学出版社，
王宁，涂健，陈锦江(1993)，使用单个自适应神经元的智能控制，华中理工大学学报，Vol．21，No．3：31-35
王宁，胡建元，泪嵘(1991)，使用B-P算法的神经元网络的智能控制，第二界中国神经网络大会论文集,687,南京
王宁，涂健，陈锦江(1992)，自适应神经元网络的智能控制，信息与控制，Vol．21，No．4：235-239
王岩(1994)，混杂系统建模及其在采矿系统中的应用，中科院自动化所简报
王泽宁，费树岷，冯纯伯(2002)，一类开关混杂系统的优化控制设计，东南大学学报，Vol．32，No．3
吴锋，刘文煌，郑应平(1997)，混杂系统方法及其在过程控制中的应用，清华大学学报，Vol．37，No．11
俞新贞，吴澄(2001)，混和动态系统的稳定性，控制与决策，Vol．16，No．3
张明镰等(1994)，拟人智能控制，北京航空航天大学自动化所材料
张佐，谢东，吴秋峰，韩曾晋(1994)，混合型企业生产调度的混合动态特征及描述，第三届中国CIMS学术会议论文集
张伟，孙优贤(2002)，混合系统的稳定性分析，自动化学报，Vol．28，No．3
郑大钟，赵千川(2001)，离散事件动态系统，北京：清华大学出版社
郑应平(1996)，离散事件系统理论研究和应用进展，控制与决策，Vol．11，No．2-3
周其节，徐建闽(1992)，神经网络控制系统的研究与展望，控制理论与研究，9(6)：569-575
Alur R. and Dill D.L. (1990). Automata for modeling real-time systems, In M.S. Paterson, editor, ICALP 90: Automata, Languages, and Programming, Lecture Notes in Computer Science 443, pages 322-335.Springer-Verlag
Alur R. and Henzinger T.A. (1994). A really temporal logic, Journal of the ACM, 41(1):181-204
Alur R. and Dill D.(1994). A theory of Timed Automata, Theoretic Computer Science, 126(1):183-235
Alur R. Henzinger T.A., Sontag E.D. (1996). Hybrid systems Ⅲ-verification and control, LNCS, Vol. 1066, Springer-Verlag
Alur R., Coucoubetis C., Halbwachs N., Henzinger T.A., Ho P.-H., Nicollin X., Olivero A., Sifakis J. and Yovine S. (1995). The algorithmic analysis of hybrid systems, Theoretical Computer Science, 138:3-34
Alur R., Courcoubetis C. and Dill D.L. (1993). Model checking in dense real time, Information and Computation, 104(1): 2-34
Alur R., Courcoubetis C. and Henzinger T.A. (1993). Computing accumulated delays in real-time systems, In C. Courcoubetis, editor, CAV 93: Computer-aided Verification, Lecture Notes in Computer Science 697, pp181-193. Springer-Verlag
Alur R., Courcoubetis C., Henzinger T. A. and Ho P. H. (1993). Hybrid Automata: An algorithmic approach to the specification and verification of hybrid systems, Hybrid Systems. Lecture Notes in Computer Science 736, pp209-229, Springer Verlag
Alur R., Feder T. and Henzinger T.A. (1991). The benefits of relaxing punctuality, In Proceedings of the Tenth Annual Symposium on Principles of Distributed Computing, pages 139-152. ACM Press
Alur R., Henzinger T.A. and Ho P. H. (1993). Automatic symbolic verification of
embedded systems. In Proceedings of the 14th Annual Real-time Systems Symposium, pages 2-11. IEEE Computer Society Press, The full version appeared as Cornell Technical Report CSD-TR-95-1513.
Alur R., Henzinger T.A. and Vardi M.Y. (1993). Parametric real-time reasoning, In Proceedings of the 25th Annual Symposium on Theory of Computing, pages 592-601. ACM Press
Anderson M. (1993). Modelling of Combined Discrete Event and Continuous Time Dynamcal Systems, Preprints of 12th IFAC World Congress, Vol.9, pp69-72, Sydney, Australia
Antsaklis P.J., Kohn W., Nerode A. and Sastry S. (1997). Hybrid systems Ⅳ, LNCS Vol. 1273, Springer-Verlag
Antsaklis P.J., Kohn W., Nerode A.N. and Sastry S. (1995). Hybrid systems Ⅱ, LNCS, Vol.999, Springer-Verlag
Antsaklis P.J., Nerode A. (1998). Hybrid Control Systems: An Introductory Discussion to the Special Issue, IEEE Transactions on Automatic Control, Vol.43, No.4, April
Antsaklis P.J., Stiver J.A. and Lemmon M. (1993). Hybrid System Modeling and autonomous Control Systems, Lecture Notes in Computer Science 736, pp366-392, Springer-Verlag
Arasin E. and Maier O. (1999). Optimal control for timed automata, In: 14th World Congress of IFAC.
Asarin E., Manna Z. and Pnueli A. (1995). Reachability analysis of dynamical systems having piecewise-constant derivatives, Theoretical Computer Science, 138(1):201-210
Asarin E., Maler O., Pnueli A. and Sifakis J.(1998). Controller synthesis for timed automata, Proc. of the IFAC Symp. on System structure and Control. Elsevier Science Publishers, 469-474
Back A., Guckenheimer J. and Myers M. (1993). A dynamical simulation facility for hybrid systems, LNCS 736, pp255-267, Springer-Verlag
Bail J.L., Alla H. and David R. (1991). Hybrid Petri nets, In: European Control Conference, Grenoble, pp1472-1477
Barmish B. R. and Kang H. I. (1993). A survey of extreme point results for robustness of control systems, Automatica, 29(1): 13-35
Basso M Genesio R and Tesi A (1997). Stabilizing periodic orbits of forced systems
via generalized Pyragas controllers. IEEE Transaction Circuits System I, 44(10):1023-1027
Bemporad A., Morari M. (1999). Control of systems integrating logic, dynamics, and constrains, Automatica, Vol 35, pp407-427
Bencze W.J., Franklin G.F. (1995). A Separation Principle for Hybrid Control Systems, IEEE on Control System, (4): pp80-85
Benvenisre A. and Guernic P.L. (1990). Hybrid dynamical systems, theory and the SIGNAL language, IEEE Trans on AC, Vol.35, No.5, pp535-546
Bett C.J. and Lemmon M. (1999). Safe implementation of supervisory command, LNCS 1273, Springer-Verlag
Birdwell J.D. and Moore B.C. (1995). Condensation of information from signals for process modeling and control, LNCS 999, Springer-Verlag
Blondel V.D., Tsitsiklis J.N. (1999). Complexity of stability and controllability of elementary hybrid systems, Automatica, Vol 35, pp479-489
Bosscher D., Polak I. and Vaandrager F. (1994). Verification of an audio-control protocol. In H. Langrnaack, W.-P. deRoever, and J. Vytopil, editors, FTRTFT 94: Formal Techniques in Real-time and Fault-tolerant Systems, Lecture Notes in Computer Science 863, pages 170-192. Springer-Verlag
Bouajjani A., Echahed R. and Robbana R. (1994). Verifying invariance properties of timed systems with duration variables, In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, FTRTFT 94: Formal Techniques in Real-time and Fault-tolerant Systems, Lecture Notes in Computer Science 863, pages 193-210. Springer-Verlag
Bouajjani A., Echahed R. and Sifakis J. (1993). On model checking for real-time properties with durations, In Proceedings of the Eighth Annual Symposium on Logic in Computer Science, pages 147-159. IEEE Computer Society Press
Bouajjani A., Lakhnech Y. and Robbana R. (1995). From duration calculus to linear hybrid automata, In Proceedings of the Conference on Computer-Aided Verification, Lecture Notes in Computer Science 939, pages 196-210. Springer-Verlag
Bowen J.P. and Hinchey M.G. (1995). Ten commandments of formal methods, IEEE Computer, 28(4):56-63
Boyd S., El Ghaoui L., Feron E. and Balakrishnan V. (1994). Linear Matrix Inequalities in System and Control Theory, SIAM
Branicky M. S. and Mitter S. M. (1995). Algorithms for optimal hybrid control, In Proc. of the 34th IEEE Conference on Decision and Control, pages 2661-2666, New Orleans
Branicky M. S. (1995). Studies in Hybrid Systems: Modeling, Analysis, and Control, PhD thesis, Massachusetts Institute of Tech.
Branicky M. S. (1998). Multiple Lyapunov functions and other analysis tools for switched and hybrid systems, IEEE Trans. on Automatic Control, 43(4):475-482
Branicky M. S. Borkar V. S. and Mitter S. K. (1994). A unified framework for hybrid control, In Proc. of the 33rd IEEE Conference on Decision and Control, pages 4228-4234
Branicky M. S., Borkar V. S. and Mitter S. K. (1998). A unified framework for hybrid control: Model and optimal control theory, IEEE Trans. on Automatic Control, 43(1):31-45
Branicky M.S. (1994). Stability of switched and hybrid systems, Proc. 33rd CDC, pp.3498-3503, Lake Buena Vista, FL, Dec.
Branicky M.S. (1995). Universal computation and other capabilities of hybrid and continuous dynamical systems, Theoretical Computer Science, 138(1):67-100
Branicky M.S., Dolginova E. And Lynch N. (1997). A toolbox for Proving and maintaining hybrid specifications, LNCS 1273, Springer-Verlag
Brayman V. and Vagners J. (1995). Application of the Kohn-Nerode control law extraction procedure to the inverted pendulum problem, LNCS 999, Springer-Verlag
Brockett R. (1996). Hybrid systems in classical mechanics, In Proc. of 13th IFAC, pages c:473-476
Brockett R.W. (1993). Hybrid models for motion control systems, CICS-P-346, Centre for Intelligent Control Systems, Massachusetts Institute of Technology
Broucke M. And Varaiya P. (1995). Decidability of hybrid systems with Linear and nonlinear diffemtial inclusions, LNCS 999, Springer-Verlag
Burch J.R., Clarke E.M., McMillan K.L., Dill D.L. and Hwang L.J. (1992). Symbolic model checking:1020 states and beyond, Information and Computation, Vol.98, No.2, pp142-170
Cassandras C. G. and Pepyne D. L. (1997). Optimal control of a class of hybrid systems, In: Proc of 36th IEEE CDC, 133-138.
Cassandras C. G., Pepyne D. L. and Wardi Y. (2001). Optimal control of a class of
hybrid systems, IEEE Transactions on automatic control, Vol.46, No.3
Chen G and Lai D (1997). Making a dynamical system chaotic: feedback control of Lyapunov exponents for discrete-time dynamical systems. IEEE Trans. Circuits Syst. I, 44(3):250-253
Chen Y. L. and Provan G. (1997), Modeling and diagnosis of timed discrete event systems-a factory automation example, In Proceedings of the American Control Conference, 31-36
Cho Y. C., Cassandras C. G., Pepyne D. L. (2000). Forward Algorithms for Optimal Control a Class of Hybrid Systems, Proc. Of the 39th IEEE CDC.
Chombart A., Flans J.M., Valentin-Roubinet C. (1996). Hybrid Systems Modeling: A Comparison of Three Methods Applied to an example, Proc. of 13th IFAC World Congress San Francisco, USA
Clarke E.M., Grumberg O. and Long D.E. (1994). Model checking and abstraction, ACM Trans. on Programming Languages and Systems, Vol. 16, pp 1512-1542
Clarke E. M. and Wing J.M.(1996). Formal methods: State and future direction, ACM Computing Surveys, vol.28, pp.626-643
Costa O.L.V. (1991). Impulse control of Piecewise-Deterministic processes via linear programming, IEEE Transactions on Automatic Control, Vol.36, No.3, March
David R. (1995). Grafcet: A powerful tool for specification of logic controllers, IEEE Trans. Control Systems Technology, 3(3):253-68
David R. and Alla H.(1992). Petri Nets and Grafcet, Prentice Hall Int.
Demongodin I. and Koussoulas N.T. (1998). Differential Petri Nets: representing continuous systems in a discrete-event world, IEEE Transactions on Automatic Control, Vol.43, No.4, April
Deshpande A. and Varaiya P. (1995). Information structures for control and verification of hybrid systems, In Proceedings of the American Control Conference
Deshpande A. and Varaiya P. (1995). Viable control of hybrid systems, In Proceedings of the 1994 Workshop on Hybrid Systems and Autonomous Control, LNCS 999. Springer-Verlag
Deshpande A. and Varaiya P. (1996). Viable control of hybrid systems, Proceedings of the 35th conference on decision and control, Kobe, Japan, December
Deshpande A. and Varaiya P. (1997). Viable control of hybrid systems, LNCS 1273, Springer Verlag
Digennaro D., Horm C., Kulkarni S.R. and Ramadge P.J. (1998). Discrete Event Dynamic Systems: Theory and Applications, 8, 343-351
Dill D.L. and Wong-Toi H. (1993). Using iterative symbolic approximation for timing verification. In T. Rus, editor, Proceedings of the First AMAST Workshop on Real-time Systems
Dimitriadis V.D., Shah N. and Pantelides C.C. (1996). Optimal design of hybrid controller for hybrid process systems, LNCS 1066, Springer-Verlag
Dogruel M. and Ozguner U. (1994). Stability of hybrid systems, In IEEE International Symposium on Intelligent Control, pages 129-134
Dogruel M. and Ozguner U. (1995). Modeling and stability issues in hybrid systems, LNCS 999, Springer-Verlag, pp148-165
Dogruel M., Drakunov S. and Ozguner U. (1993). Sliding mode control in discrete state systems, In Proceedings of the 32nd CDC, pages 1194-1199
Dogruel M., Ozguner U. and Drakunov S. (1996). Sliding-mode control in discrete-state and Hybrid systems, IEEE Trans. on Automatic Control, 41(3):414-419
Donde V. (2000). A hybrid system using two cascaded regulators, ECE Dep., University of Illinois at Urbana Champaign
Donde V. (2001). Development of multiple Lyapunov functions for a hybrid power system with a tap changer, ECE Dep., University of Illinois at Urbana Champaign
Davoren J. M. (1999). On hybrid systems and the moda μcalculus, In Antsaklis P. J., editor, Hybrid systems: Computation and control, LNCS, Vol.1569, Springer-Verlag
Davoren J. M. and Nerode A.(2000). Logics for hybrid systems, Proceedings of the IEEE, 88(9): 1000-1025
Davoren J. M. and Moor T. (2000). Logic-based design and synthesis of controllers for hybrid systems, Technical report, Dept, Systems Engineering, RSESE, Australian National University, July 2000
Eker J. and Mlamborg J. (1999). Design and implementation of hybrid control strategy. IEEE Control Systems Magazine, 19(4): 12-21.
Elmqvist H., Cellier F. E. and Otter M. (1993). Object-oriented modeling of hybrid systems, In Proc. of Europ. Simul. Symp., Delft, The Netherlands
Engberg U., Gronning P. and Lamport L. (1992). Machanical verification of concurrent systems with TLA, In Logic of Programs, Lecture Notes in Computer
Science. Springer-Verlag
Engell S., Kowalewski S. and Krogh B.H. (1996). Discrete Events and Hybrid Systems in Process Control, Proceedings Chemical Process Control V, Tahoe City.
Fang J and Hong Y (1999). Switching manifold approach to chaos synchronization. Physical Review E, 59(3): 2523-2526.
Fereira E. d.and Krogh B. H. (1998). Switching controllers based on neural network estimates of stability regions and controller performance, Springer-Verlag
Frank P.M., Fault diagnosis in dynamic systems using analytical and knowledge based redundancy - a survey and some new results, Automatica, vol.26, no.3, 1990, 495-474
Frommer H, Kulkarni S R, Ramadge P J (1998). Controller switching basedon output prediction errors, IEEE Trans. Automat Control, 43(5):596-607.
Gahinet P., Nemirovski A., Laub A. J. and Chilali M. (1995). LMI Control Toolbox, For use with MATLAB. The Math Works Inc.
Ge X., Nerode A., Kohn W. and James J. (1995). Distributed intelligent control theory of hybrid systems, In Proceedings of the Fifth Annual Conference on AI, Simulation, and Planning in High Autonomy Systems, pages 12-15, IEEE
Geest T(1992). Petiod-doubling bifurcations and chaos in an enzyme reaction. J Phys Chem, 96(14):5678-5680.
Geza-Kolumban and Michael Peter Kennedy (1998). The role of synchronization in digital communications using chaos. IEEE Transactions on circuits and systems-I:Fundamental theory and applications, 45(11): 235-239.
Gilbert E.G. and Tan K.T. (1991). Linear systems with state and control constraints: the theory and application of maximal output admissible sets, IEEE Transactions on Automatic Control, Vol.36, No.9, September
Giua A, Usai E (1996). High level Petri nets, Proc. Of the 35th CDC, Japan.
Green M. and Limebeer D. J. N. (1995). Linear Robust Control, Prentice Hall
Grossman R.L. and Larson R.G. (1995). An algebraic approach to hybrid systems. Theoretical Computer Science, Vol. 138, pp 101-112
Grossman R.L., Nerode A., Ravn A.P. and Rischel H. (1993). Hybrid Systems. Lecture Notes in Computer Science 736, Springer-Verlag
Guckenheimer J. and Nerode A. (1995). Simulation for hybrid systems and nonlinear control, In CDC92, pages 2980-2981
Gyorgyi L, Field R J (1991). Simple model of deterministic chaos in the Belousov-Zhabotinsky reaction. J Phys Chem,95(17):6594-6602.
Halbwachs N., Raymond P. and Proy Y.-E. (1994), Verification of linear hybrid systems by means of convex approximation, In B. LeCharlier, editor, SAS 94: Static Analysis Symposium, Lecture Notes in Computer Science 864. Springer-Verlag
He K X and Lemmon M D (1998). Lyapunov stability of continuous-valued systems under the supervision of discrete-event transition systems. Springer-Verlag, pp. 175-189.
Hedlund S. and Rantzer A. (1999). Optimal control of hybrid systems, In IEEE CDC.
Heemels W. P. (1999). Linear complementarity systems: A study in Hybrid Dynamics. Eindhoven: Technolgy University.
Henzinger T.A. (1997). The theory of hybrid automata, Proc. of the 11th Annual Symposium on Logic in Computer Science, IEEE Computer Society Press, Silverspring, MD, 1996,pp.278-292.
Henzinger T.A., Horowitz B. and Majumdar R.(1999). Rectangular hybrid Games, Proc. of the Tenth international Conference on Concurrency Theory, Lecture notes in Computer Science 1664, Springer-Verlag, pp. 320-335
Henzinger T.A. and Ho P.-H. (1995). A note on abstract-interpretation strategies for hybrid automata, In Proceedings of the 1994 Workshop on Hybrid Systems and Autonomous Control, Lecture Notes in Computer Science. Springer-Verlag
Henzinger T.A. and Ho P. H. (1995). Algorithmic analysis of nonlinear hybrid systems, In Proceedings of the Conference on Computer-Aided Verification, Lecture Notes in Computer Science 939, pages 225-238, Springer-Verlag
Henzinger T.A. and Ho P. H. (1995). HyTech: The Comell Hybrid Tech-nology Tool. In Proceedings of the 1994 Workshop on Hybrid Systems and Autonomous Control, Lecture Notes in Computer Science. Springer-Verlag, Also appeared as Cornell Technical Report CSD-TR-95-1521.
Henzinger T.A. and Kopke P.W. (1995). Hybrid automata with finite mutual simulations, Technical Report CSD-TR-95-1497, Cornell University
Henzinger T.A., Ho P.H. and Wong-Toi H. (1998). Algorithmic Analysis of Nonlinear Hybrid Systems, IEEE Transactions on Automatic Control, Vol.43, No.4, April
Henzinger T.A., Ho P-H and Wong-Toi H. (1995). A user guide to HyTech, Dept. of Computer science, Cornell University
Henzinger T.A., Kopke P.W., Puri A. and Varaiya P. (1995). What's decidable about hybrid automata? In Proceedings of the 27th Annual Symposium on Theory of Computing, pages 373-382. ACM Press
Henzinger T.A., Manna Z. and Pnueli A. (1992). Timed transition systems, In J.W. de Bakker, K. Huizing, W.-P. deRoever, and G. Rozenberg, editors, Real Time: Theory in Practice, Lecture Notes in Computer Science 600, pages 226-251. Springer-Verlag
Henzinger T.A., Manna Z. and Pnueli A. (1993). Towards refining temporal specifications into hybrid systems, In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Hybrid Systems, Lecture Notes in Computer Science 736, pages 60-76. Springer-Verlag
Henzinger T.A., Manna Z., and Pnueli A. (1994). Temporal proof methodologies for timed transition systems, Information and Computation, 112(2):273-337
Henzinger T.A., Nicollin X., Sifakis J. and Yovine S. (1994). Symbolic model checking for real-time systems, Information and Computation, 111(2): 193-244
Heymann M. and Lin F. (1998). Discrete-event control of nondeterministic systems, IEEE Transactions on Automatic Control, Vol.43, No. 1, January
Heymann M., Lin F. And Meyer G. (1998). Synthesis and viability of minimally interventive legal controllers for hybrid systems, Discrete Event Dynamic Systems: Theory and Applications, 8, 105-135
Hiskens I. A. (2000). Identifiably of Hybrid System Models, Proc. Of the IEEE international conference on control applications, Alaska, 25-27
Hiskens I. A. (2001a). Inverse Problems in Power System, in Proc. Of international symposium on bulk power system dynamic and control
Hiskens I. A. (2001b). Stability of limit cycles in hybrid systems, in Proc. Of 34th Hawaii International Conference on System Science, 140-145
Hiskens I. A. and Pai M. A. (2000). Hybrid systems view of power system modeling, in Proc. Of IEEE International Symposium on Circuits and Systems, 28-31
Hiskens I. A., Pai M. A. and Nguyen B. (2000). Bounding Uncertainty in Power Dynamic Simulation, in Proc. Of IEEE PES, 97-101
Ho P.-H. and Wong-Toi H. (1995). Automated analysis of an audio control protocol, In Proceedings of the Conference on Computer-Aided Verification, Lecture Notes in Computer Science 939, pages 381-394, Springer-Verlag
Hoffmann I. and Engell S.(1998). Identification of Hybrid Systems, Proceedings of
the American Control Conference, Philadelphia, Pennsylvania, June
Holloway L. (1992). Properties of behavioral models for a class of hybrid systems, In: Proc of 31st CDC
Holloway L.E., Krogh B.H. and Giua A. (1997). A survey of Petri Net methods for controlled discrete event systems, Discrete Event Dynamic Systems: Theory and Applications, 7,151-190
Hooman J. (1993). A compositional approach to the design of hybrid systems, In Proceedings of the 1992 Workshop on Hybrid Systems, Lecture Notes in Computer Science 736, pages 121-148. Springer-Verlag
Horn C. and Ramadge P. J. (1995). Robustness issues for hybrid systems. In Proc. of 34th IEEE Conference on Decision and Control, pages 1467-1472
Hou L., Michel A.N. and Ye H. (1996). Stability analysis of switched systems, Proc. 35rd CDC, pp1208-1212, Kobe, Japan, Dec.
Howard Wong-Toi.(1994). Symbolic Approximations for Verifying Real-Time Systems, PhD thesis, Department of Computer Science, Stanford University, CA, December
Hubbard B. B. (1995). Hybrid systems: the control theory of tomorrow? SIAM NEWS, 8(6):12-13, July
Iftar A. and Ozguner U. (1998). Overlapping Decompsitions, Expansions, Contractions, and Stability of Hybrid Systems, IEEE Transactions on Automatic Control, Vol.43, No.8, August
Johansen T. A. and Foss B. A. (1993). State-space modeling using operating regime decomposition and local models, In Proc. of 12th IFAC, pages 1:431-434
Johansson K. H., Lygeros J., Sastry S. and Egerstedt M. (1999). Simulation of Zeno hybrid automata, Proc. of the 38th IEEE Conference on Decision and Control, Phoenix, Arizona USA, pp.3538-3543
Johansson K. H., Egerstedt M., Lygeros J. and Sastry S.(1999). On the regularization of Zeno hybrid automata, System and Control Letter, 38:141-150
Johansson M. and Rantzer A. (1998). Computation of piecewise quadratic Lyapunov functions for hybrid sytems, IEEE Trans. on Automatic Control, 43(4):555-559
Johansson M. and Rantzer A. (1997). Computation of piecewise quadratic Lyapunov functions for hybrid systems, In Proc. of the 4th European Control Conference, Brussels, Belgium
Johansson M. and Rantzer A. (1997). On the computation of piecewise quadratic
Lyapunov functions, In Proc. of 36th IEEE Conference on Decision and Control, San Diego
Kapur D. And Shyamasundar R.K. (1997). Synthesizing controllers for hybrid systems, LNCS 1201, Springer Verlag
Kesten Y., Pnueli A., Sifakis J. and Yovine S. (1993). Integration graphs: a class of decidable hybrid systems, In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Hybrid Systems, Lecture Notes in Computer Science 736, pages 179-208. Springer-Verlag
Kohn W. and Nerode A. (1993). A hybrid systems architecture, In J.N. Crossley, J.B. Remmel, R.A. Shore, and M.E. Sweedler, editors, Logic Methods, Lecture Notes in Computer Science. Springer-Verlag
Kohn W., James J., Nerode A., Harbison K. and Agrawala A. (1995). A hybrid system approach to computer-aided control engineering, IEE Control Systems Magazine, 15(2):14-25
Kohn W., Nerode A., Rammel J.B. and Yakhnis A. (1995). Viability in hybrid systems, Theoretical Computer Science, 138(1): 141-168
Kohn W., Nerode A., Remmel J.B. and Ge X. (1994). Mutiple agent hybrid control: carrier manifolds and chattering approximations to optimal control, In CDC94
Kolmanovsky and Gilbert (1996). Multimode Regulators of Systems with with State & Control Constraints and Disturbance Input, Lecture Nones in control and information sciences, Springer-Verlag.
Kourjanski M. and Varaiya P. (1996). Stability of Hybrid Systems, LNCS 1066, Springer-Verlag
Koutsoukos X.D., He K.X., Lemmon M.D. and Antsaklis P.J. (1998). Timed Petri Nets in hybrid systems: stability and supervisory control, Discrete Event Dynamic Systems: Theory and Applications, 8, 137-173
Kurshan R.P. (1994). Computer-aided Verification of Coordinating Processes: The automata-theoretic approach, Princeton University Press
Labinaz G. Banoumi M.M. and Rudie K. (1996). Modeling and Control of Hybrid Systems: A Survey, Proc. of 13th IFAC World Congress, San Francisco, USA, pp293-304
Lakshmikantham V and Vatsala A S (2002). Hybrid systems on time scales, J. of Computational and Applied Mathematics, 141: 227-235.
Lamport L. (1994). The temporal logic of actions, ACM Transactions on
Programming Languages and Systems, 16(3):872-923
Larsen K.G., Pettersson P., Yi W. (1995). Model-checking for real-time systems, LNCS 965, Springer, Berlin
Lauzon S.C., Ma A.K.L., Mills J.K. and Benhabib B. (1996). Application of discrete-event-systems theory to flexible Manufacturing, IEEE Control Systems, Feb.
Lemmon M. and Antsaklis P.J. (1995). Inductively inferring valid logical models of continuous-state dynamical systems, Theoretical Computer Science, 138(1):201-210
Lemmon M. D., Stiver J. A. and Antsaklis P. J. (1993). Event identification and intelligent hybrid control, In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, LNCS 736, pages 268-296, Springer-Verlag
Lemmon M., Bett C., Szymanski P. and Antsaklis P. (1995). Constructing Hybrid systems from robust linear control agents, LNCS 999, pp322-343
Lemmon M.D. and Antsaklis P.J. (1993). Event identification in hybrid control systems, Proceedings of the 32nd Conference on Decision and Control, San Antonlo,Texas, December
Lennartson B., Tittus M., Egardt B. and Pettersson S. (1996). Hybrid Systems in process control, IEEE Control System, Oct.
Lin F. (1992). Robust and Adaptive Supervisory Control of Discrete Event Systems, ACC, pp2804-2808
Lin F. and Wonham W.M. (1995), Supervisory control of timed discrete-event systems under partial observation, IEEE Transactions on Automatic Control, vol.40, no.3, 558-562
LM-Aguilar J., Garcia R. A. and Troarevsky M. L. (1998). Exponential stability of a certain class of hybrid systems and digital feedback stabilizers, In: Proc. ACC.
Lorenz E.N. (1963) Deterministic non-periodic flows, J. Atmos. Sci.,20:130-141.
Lu J., Liao L.-Z., Nerode A., Taylor J.H. (1993). Optimal Control of Systems with Continuous and Discrete States, Proc. IEEE Conf. Decision Contr., San Antonlo, Texas, Dec. pp2292-2297.
Lunze J., Nixdorf B. and Schroder J. (1999). Deterministic discrete-event representation of linear continuous-variable systems, Automatica, 35:395-406
Luus R. (1990). Application of dynamic programming to high-dimensional non-linear optimal control probelms, Int. J. Control, Vol.52,No. 1, pp239-250
Lygeros J., Godbole D. N. and Sastry S. (1998). Verified hybrid controllers for automated vehicles, IEEE Trans. on Automatic Control, 43(4):522-539
Lygeros J., Tomlin C., Sastry S. (1999). Controllers for reachability specifications for hybrid systems, Automatica, Vol 35, pp349-370
Maler O., Manna Z. and Pnueli A. (1992). From timed to hybrid systems, In J.W. de Bakker, K. Huizing, W.-P. deRoever, and G. Rozenberg, editors, Real Time: Theory in Practice, Lecture Notes in Computer Science 600, pages 447-484. Springer-Verlag
Maler O., Pnueli A. and Sifakis J. (1995). On the synthesis of discrete controllers for timed systems, In STACS 95, Lecture Notes in Computer Science. Springer-Verlag
Maller O. (1997). Hybrid and Real-Time Systems: Hart'97, LNCS Vol. 1201, Springer-Verlag
Malmborg J., Bernhardsson B. and Astrom K. J.(1996). A stabilizing switching scheme for multi controller systems, In Proc. of 13th IFAC, pages F:229-234
Mankin J C,Hudson J L.(1984). Oscillatory and chaotic behaviour of a forced exothermic chemical reaction. Chem Eng Sci, 39(12): 1807-1814.
Manna Z. and Pnueli A. (1993). Verifying hybrid systems, In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Hybrid Systems, Lecture Notes in Computer Science 736, pages 4-35. Springer-Verlag
Manon P., Claire, Gilles G. (2002). Optimal control of hybrid dynamical systems: application in process engineering, Control Engineering Practice 10:133-149.
Mao-Lin Ni and Meng Joo Er (2002). Stability of linear systems with delayed per turbations: an LMI approach, IEEE Trans. on Circuits and Systems. Vol. 49, No.1, April
Mayne D. Q. and Rawings J. B. (2000). Constrained Model Predictive: Stability and Optimality, Automatic, 36:789-814.
McCarragher B.J. and Austin D.J. (1998). Model adaptive hybrid dynamical control for constrained motion systems, IEEE Trans. on Automatic Control. Vol.43, No.4.
McManis J. and Varaiya P. (1994). Suspension automata: a decidable class of hybrid automata, In D.L. Dill, editor, CAV 94:Computer-aided Verification, Lecture Notes in Computer Science 818, pages 105-117. Springer-Verlag
Miller B.M. (1997). Representation of robust and Non-robust solutions of Nonlinear Discrete-continuous systems, LNCS 1201, Springer-Verlag
Moon I., Powers G.J., Burch J.R. and Clarke E.M.(1992). Automatic verification of sequential control systems using temporal logic, AICHE Journal, Vol.38, pp67-75
Moor T. and Davoren J. M.(2000). Robust controller synthesis for hybrid systems using modal logic, Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, Springer-Verlag
Morse A.S., Pantelides C.C., Sastry S.S. and Schumacher J.M. (1999). Introduction to the special issue on hybrid systems, Automatica 35
Nerode A. and Kohn W. (1993). Models for hybrid systems: automata, topologies, controllability, observability, In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Hybrid Systems, Lecture Notes in Computer Science 736, pages 317-356. Springer-Verlag
Nerode A. and Kohn W. (1993). Models for hybrid systems: Automata, topologies, stability, TR93-11, Mathematical Sciences Institute, Comell Univ.
Nerode A. and Kohn W. (1993). Multiple-agent hybrid control architecture, In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Hybrid Systems, Lecture Notes in Computer Science 736, pages 297-316. Springer-Verlag
Nerode A., Remmel J.B. and Yakhnis A. (1995). Controllers as fixed points of set-valued operators, LNCS 999, Springer-Verlag
Nicollin X., Olivero A., Sifakis J. and Yovine S. (1993). An approach to the description and analysis of hybrid systems, In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Hybrid Systems, Lecture Notes in Computer Science 736, pages 149-178. Springer-Verlag
Nicollin X., Sifakis J. and Yovine S. (1992). Compiling real-time specifications into extended automata, IEEE Tr. On SE Vol. 18, pp794-804
Olivero A., Sifakis J. and Yovine S. (1994). Using abstractions for the verification of linear hybrid systems, In D.L. Dill, editor, CAV 94: Computer-aided Verification, Lecture Notes in Computer Science 818, pages 81-94. Springer-Verlag
Ozveren C.M. and Willsky A.S. (1991). Output stabilizability of discrete-event dynamic systems, IEEE Transactions on Automatic Control, Vol.36, No.8, August
Passino K.M., Michel A.N. and Antsaklis P.J. (1994). Lyapunov stability of a class of discrete event systems, IEEE Transactions on Automatic Control, Vol.39, No.2, February
Paul C. J., Holloway L. E., Yan D. and Krogh B. H. (1992), An Intelligent Reactive Monitoring and Scheduling System, IEEE Control Systems, 78-85
Peleties P. and DeCarlo R. (1989). A modeling strategy with event structures for hybrid systems, In Proc. of the 28th IEEE Conference on Decision and Control, pages 1308-1313, Tampa, Florida
Peleties P. and DeCarlo R. (1991). Asymptotic stability of m-switched systems using Lyapunov-like functions, In Proc. of the American Control Conference, pages 1679-1684, Boston
Peleties P. and DeCarlo R. (1992). Asymptotic stability of m-switched systems using Lyapunov-like functions, In Proc. of the 31st IEEE Conference on Decision and Control, pages 3438-3439
Peleties P. and DeCarlo R. (1993). A modeling strategy for hybrid systems based on event structures, Discrete Event Dynamic Systems: Theory and Applications, pages 39-69
Peleties P. and DeCarlo R. (1998). Asymptotic stability of 2-switched systems using Lyapunov-like functions, In Proceddings of the 1993 American Control Conference, pages 3089-3093
Peleties P. and DeCarlo R. (1994). Analysis of a hybrid system using symbolic dynamics and Petri nets, Automatica, 30(9): 1421-1427
Peng B.,Petrov V. and Showalter K(1991). Controlling Chemical Chaos. J. Phys. Chem. 95:4957-4959
Peng B,Schott S K.(1990). Period doubling and chaos in a three-variable autocatalater. J Phys Chem, 94(13):5243-5246.
Pepyne D.L. and Cassandras C.G. (1998). Modeling, Analysis, and Optimal Control of a Class of Hybrid Systems, Discrete Event Dynamic Systems: Theory and Applications, 8, pp175-201
Pettersson S. and Lennartson B. (1995). Hybrid modelling focused on hybrid Petri nets, In 2nd European Workshop on Real-time and Hybrid systems, pages 303-309, Grenoble
Pettersson S. and Lennartson B. (1995). Time-optimal control for a class of hybrid systems, In Proc. of 3rd European Control Conference, pages 2054-2059
Pettersson S. and Lennartson B. (1996). Stability and robustness for hybrid systems, In Proc. of the 35th IEEE Conference on Decision and Control, pages 1202-1207, Kobe, Japan
Pettersson S. and Lennartson B. (1996). Time-optimal control and disturbance compensation for a class of hybrid systems, In Proc. of 13th IFAC, volume J, pp
281-286
Pettersson S. and Lennartson B. (1997). An LMI approach for stability analysis of non-linear systems, In Proc. of European Control Conference, Brussels, July
Pettersson S. and Lennartson B. (1997). Controller design of hybrid systems, In Oded Maler, editor, Lecture Notes in Computer Science 1201, pages 240--254. Springer
Pettersson S. and Lennartson B. (1997). Exponential stability analysis of nonlinear systems using LMIs, In Proc. of the 36th IEEE Conference on Decision and Control, pages 199-204, San Diego
Pettersson S. and Lennartson B. (1997). LMI for stability and robustness of hybrid systems, In Proc. of the American Control Conference, pages 1714-1718, Albuquerque
Pettersson S. and Lennartson B. (1999). Exponential stability of hybrid systems using piecewise quadratic Lyapunov functions resulting in an LMI problem, In Proc. Of the 14th IFAC, Beijing, China, July
Probst S.T., Powers G.J., Long D.E. and Moon I. (1997). Verification of a logically controlled solids transport system using symbolic model checking, Comp. Chem. Engng., Vol.21, No.4, pp417-429
Puri A. and Varaiya P. (1994). Decidability of hybrid systems with rectangular differential inclusions, In D.L. Dill, editor, CAV 94: Computer-aided Verification, Lecture Notes in Computer Science 818, pages 95-104. Springer-Verlag
Puri A. and Varaiya P. (1995). Driving safely in smart cars, Technical Report UCB-ITS-PRR-95-24, California PATH Research Report, August
Puri A. and Varaiya P. (1995). Verification of Hybrid Systems Using Abstractions, Hybrid systems IV, LNCS 999, Springer-Verlag
Puri A. and Varaiya P. (1997). Verification of Hybrid Systems Using Abstractions, Proc. of 13th IFAC World Congress, San Francisco, USA, pp477-482
Pyragas K (1992), Continuous control of chaos by self-controlling feedback, Phys. Lett. A, vol. 170, pp.421-428.
Raisch J. (1995). Control of continuous plants by symbolic output feedback, LNCS 999, Springer-Verlag
Raisch J. and O'Young S. (1996). A DES approach to control of hybrid dynamical systems, LNCS 1066, Springer Verlag
Raisch J. and O'Young S.D. (1998). Discrete approximation and supervisory control of continuos systems, IEEE Transactions on Automatic Control, Vol.43, No.4,
April
Raven A. P., Rischel H. and Holdgaard M. (1995). Hybrid control of a robot-A case study, Hybrid Systems 11,391-404
Raven A. P., Rischel H. and Hansen K. M. (1993). Specifying and Verifying Requirements of Real-Time Systems, IEEE Trans. On Software Engineering.
Riedinger P, Zanner C, Kratz F (1999). Time optimal control of hybrid systems, In: Proc of the ACC, 2466-2470.
Ruoff P (1992). Chaos in batch Belousov-Zhabotinsky systems. J Phys Chem, 96(23):9104-9106.
Stirling C.(1992). Modal and temporal logics, In Handbook of Logic in Computer Science, vol.2, Clarendon
Savkin A. V., Petersen I.R., Skafidas E., and Evans R.J. (1996). Robust Control via controlled switching, In Proc. of CESA'96
Savkin A.V. and Evans R.J. (1998). A new approach to robust control of hybrid systems over infinite time, IEEE Transactions on Automatic Control, Vol.43, No.9, September
Shamma J. S. and Poolla K. (1997). Optimal asymptotic robust performance through logic-based Switching, In: Control Using Logic-based Switching, 201-207.
Skafidas E, Evans R J and Mareels Ⅰ (1997). Optimal controllers switching for stochastic systems, In: Proc of 36th IEEE CDC, 3950-3955.
Skafidas E, Evans R J and Savkin A V (1999). Stability result for switched controller systems, Automatica, 35(4): 553-564
Stiver J. A. and Antsaklis P. J. (1992). Modeling and analysis of hybrid control systems, In Proc. of the 31st IEEE Conference on Decision and Control, pages 3748-3751
Stiver J.A. and Antsaklis P.J. (1993). State Space Partition for hybrid control system, Proceedings of the American Control Conference, San Francisco, California, June
Stiver J.A., Antsaklis P.J. and Lemmon M.D. (1995). Interface and Controller Design for Hybrid Systems, LNCS 999, Springer Verlag
Stiver J.A., Antsaklis P.J. and Lemmon M.D. (1996). An Invariant based approach to the design of hybrid control systems containing clocks, LNCS 1066, pp464-474
Stiver J.A., Antsaklis P.J. and Lemmon M.D. (1996). An Invariant based approach to the design of hybrid control systems, Proc. of 13th IFAC World Congress, San
Francisco, USA, pp467-472
Stursberg O., Kowalewski S., Hoffmann I. And Preubig J. (1997). Comparing timed and hybrid automata as approximations of continuous systems, LNCS 1273, Springer-Verlag
Takai S., Ushio T. Adn Kodama S. (1995). Static-state Feedback control of discrete-event systems under partial observation, IEEE Transactions on Automatic Control, Vol.40, No. 11, November
Tangmunarunkit W. (2001). Combination optimization of load sheldding against voltage instability, ECE Dep., University of Illinois at Urbana Champaign
Tangmunarunkit W. (2001). Optimal load sheldding against voltage instability, in Proc. Of 33rd North American power symposium, 1210-1215
Tittus M. (1995). Control Synthesis for Batch Processes, PhD thesis, Chalmers University of Technology
Tittus M. and Egardt B. (1994). Controllability and control-law synthesis of linear hybrid systems. In 11th Int. Conf. on Analysis and Optimization of Systems, pages 377-383. Springer Verlag
Tittus M. and Egardt B. (1998). Control Design for Integrator Hybrid Systems, IEEE Trans. Automat. Contr., Vol. 43, pp491-500, April
Tittus M. and Lennartson B. (1999). Hierarchical supervisory control for batch process, IEEE Trans. On Control Systems Technology, 7(5): 542-554
Tomlin C., Pappas G.J. and Sastry S. (1998). Conflict Resolution for air traffic management: a study in multiagent hybrid systems, IEEE Transactions on Automatic Control, Vol.43, No.4, April
Vassiliadis V.S., Sargent R.W.H. and Pantelides C.C. (1994). Solution of a class of multistage dynamic optimization problems. Ⅰ: problems without path constraints, Ⅱ: problems with path constraints, Ind. Eng. Chem. Res. 33, pp2111-2133.
Wang L. Y., Beydoun A., Cook J. (1997). Optimal hybrid control with applications to automotive power train systems, In: Control Using Logic -based Switching, 190-200.
Wang L. Y., Khargonekar P. P., Beydoun A (1998). Robust control of hybrid systems: performance guided strategies, New York: Springer-Verlag, pp365-389.
Wicks M. A., Peleties P., and DeCarlo R. A. (1994). Construction of piecewise Lyapunov functions for stabilising switched systems, In Proc. of the 33rd IEEE Conference on Decision and Control, pages 3492-3497
Wolf A., Swift J.B.(1985). Determining Lyapunov exponents from a time series. Phy. D., vol. 16: 285-317.
Wongtoi H. (1998). Synthesis of controllers for linear hybrid automata, in Proc. 36th IEEE CDC, 129-138.
Yan and Tang (2000), Building Hybrid Real-Time Systems in XYZ/E--Impiementation of the Steam-Boiler Control Specification Problem, Journal of Software, 11(6): 711-719.
Ye H., Michel A. N. and Hou L. (1995). Stability theory for hybrid dynamical systems, In Proc. of the 34th IEEE Conference on Decision and Control, pages 2679-2684, New Orleans
Ye H., Michel A. N., and Hou L. (1996). Stability analysis of discontinuous dynamical systems with applications, In Proc. of 13th IFAC, pages E: 461-466
Ye H., Michel A.N. and Hou L. (1998). Stability Theory for Hybrid Dynamical systems, IEEE Transactions on Automatic Control, Vol.43, No.4, April
Zhang J., Johansson K. H., Lygeros J. and Sastry S. (2000). Dynamical systems revisited: Hybrid systems with Zeno executions. IN Krogh B. and Lynch N., editors, Hybrid systems: Computation and Control, Lecture notes in Computer Science. Springer-verlag, New York
Zhang P., Cassandras C. G. (2001). An Improved Forward Algorithm for Optimal Control of a Class of Hybrid Systems, Proc. Of the 40th IEEE CDC.
Zhang Y. and Mackworth A.K. (1995). Synthesis of hybrid constrain-based controller, Hybrid Systems Ⅱ, 552-566
Zhang Y. and Mackworth A.K. (1995). Constraint nets: a semantic model for hybrid dynamic systems, Theoretical Computer Science, 138(1): 211-239
冯纯伯，刘延年(1994)，神经网络控制的现状及问题，东南大学自动化研究所，控制理论与研究，11(1)：103-106
韩景红，秦世引，宋永华(2000)，基于学习自动机的混杂电力系统紧急频率控制，电力系统自动化，Vol．24，No．18
李翊神，汪克林(1988)，非线性科学选讲，中国科技大学出版社，35-37
李晓山，周巢尘(1994)，时段演算综述，计算机学报，Vol．17(11)，842-851
刘玉忠，张霄力，赵军(2002)，一类线性开关系统的渐近稳定性，信息与控制，Vol．17，No．1
吕书强，秦世引，宋永华(2001)，混杂电力系统频率紧急控制的Petri网建模与仿真，电力系统自动化，Vol．25，No．6
唐稚松(1999)，时序逻辑程序设计与软件工程，北京：科学出版社
谢广明，郑大钟(2002)，关于一类混合动态系统能控性与镇定的研究，控制理论与应用，Vol．19，No．2
谢广明，郑大钟(2001)，线性切换系统基于范数的系统镇定条件及算法，自动化学报，Vol．27，No．1
王东生(1995)，混沌、分形及其应用，中国科技大学出版社，
王宁，涂健，陈锦江(1993)，使用单个自适应神经元的智能控制，华中理工大学学报，Vol．21，No．3：31-35
王宁，胡建元，泪嵘(1991)，使用B-P算法的神经元网络的智能控制，第二界中国神经网络大会论文集,687,南京
王宁，涂健，陈锦江(1992)，自适应神经元网络的智能控制，信息与控制，Vol．21，No．4：235-239
王岩(1994)，混杂系统建模及其在采矿系统中的应用，中科院自动化所简报
王泽宁，费树岷，冯纯伯(2002)，一类开关混杂系统的优化控制设计，东南大学学报，Vol．32，No．3
吴锋，刘文煌，郑应平(1997)，混杂系统方法及其在过程控制中的应用，清华大学学报，Vol．37，No．11
俞新贞，吴澄(2001)，混和动态系统的稳定性，控制与决策，Vol．16，No．3
张明镰等(1994)，拟人智能控制，北京航空航天大学自动化所材料
张佐，谢东，吴秋峰，韩曾晋(1994)，混合型企业生产调度的混合动态特征及描述，第三届中国CIMS学术会议论文集
张伟，孙优贤(2002)，混合系统的稳定性分析，自动化学报，Vol．28，No．3
郑大钟，赵千川(2001)，离散事件动态系统，北京：清华大学出版社
郑应平(1996)，离散事件系统理论研究和应用进展，控制与决策，Vol．11，No．2-3
周其节，徐建闽(1992)，神经网络控制系统的研究与展望，控制理论与研究，9(6)：569-575