Multiobjective Hybrid Controller Synthesis
暂无分享,去创建一个
[1] Nancy A. Lynch,et al. The generalized railroad crossing: a case study in formal verification of real-time systems , 1994, 1994 Proceedings Real-Time Systems Symposium.
[2] John Lygeros,et al. A verified hybrid controller for automated vehicles , 1996, Proceedings of 35th IEEE Conference on Decision and Control.
[3] Akash Deshpande,et al. Control of hybrid systems , 1994 .
[4] John Lygeros,et al. Hierarchical, Hybrid Control of Large Scale Systems , 1996 .
[5] Roger W. Brockett,et al. Hybrid Models for Motion Control Systems , 1993 .
[6] A. Puri. Theory of hybrid systems and discrete event systems , 1996 .
[7] Nancy A. Lynch,et al. A Toolbox for Proving and MaintainingHybrid Speci cationsMichael , 1997 .
[8] Thomas A. Henzinger,et al. Using HyTech to Synthesize Control Parameters for a Steam Boiler , 1995, Formal Methods for Industrial Applications.
[9] Anil Nerode,et al. Models for Hybrid Systems: Automata, Topologies, Controllability, Observability , 1992, Hybrid Systems.
[10] Robert P. Kurshan,et al. Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach , 2014 .
[11] Zohar Manna,et al. Temporal verification of reactive systems - safety , 1995 .
[12] Zohar Manna,et al. The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.
[13] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[14] Akash Deshpande,et al. The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata , 1997 .
[15] Pravin Varaiya,et al. What's decidable about hybrid automata? , 1995, STOC '95.
[16] John Lygeros,et al. Multiagent hybrid system design using game theory and optimal control , 1996, Proceedings of 35th IEEE Conference on Decision and Control.
[17] Feng Lin,et al. Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints , 1997, HART.
[18] Thomas A. Henzinger,et al. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.
[19] Anil Nerode,et al. Multiple Agent Hybrid Control Architecture , 1992, Hybrid Systems.
[20] John Lygeros,et al. A Game-Theoretic Approach to Hybrid System Design , 1996, Hybrid Systems.
[21] V. Lakshmikantham,et al. Nonlinear Analysis: Theory, Methods and Applications , 1978 .
[22] Joseph Sifakis,et al. An Approach to the Description and Analysis of Hybrid Systems , 1992, Hybrid Systems.
[23] Panos J. Antsaklis,et al. Event Identification and Intelligent Hybrid Control , 1992, Hybrid Systems.
[24] Joseph Sifakis,et al. On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) , 1995, STACS.
[25] John Lygeros,et al. Optimal Control Approach to Multiagent, Hierarchical System Verification , 1996 .
[26] W. M. Wonham,et al. The control of discrete event systems , 1989 .
[27] Egon Börger,et al. Formal methods for industrial applications : specifying and programming the steam boiler control , 1996 .
[28] John N. Tsitsiklis,et al. On the control of discrete-event dynamical systems , 1987, 26th IEEE Conference on Decision and Control.
[29] Nancy A. Lynch,et al. Hybrid I/O automata , 1995, Inf. Comput..
[30] Paul Pettersson,et al. Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II , 1998, TACAS.
[31] Jean-Raymond Abrial. Steam-Boiler Control Specification Problem , 1995, Formal Methods for Industrial Applications.