Linear Time Logic Control of Discrete-Time Linear Systems
暂无分享,去创建一个
[1] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[2] Sergio Yovine,et al. On the Decidability of the Reachability Problem for Planar Differential Inclusions , 2001, HSCC.
[3] Thomas A. Henzinger,et al. The Control of Synchronous Systems , 2000, CONCUR.
[4] Stavros Tripakis. Undecidable problems of decentralized observation and control on regular languages , 2004, Inf. Process. Lett..
[5] Antonio Bicchi,et al. On the reachability of quantized control systems , 2002, IEEE Trans. Autom. Control..
[6] W. M. Wonham,et al. The control of discrete event systems , 1989 .
[7] Oded Maler,et al. Preemptive Job-Shop Scheduling Using Stopwatch Automata , 2002, TACAS.
[8] Pierre Wolper,et al. Constructing Automata from Temporal Logic Formulas: A Tutorial , 2002, European Educational Forum: School on Formal Methods and Performance Analysis.
[9] George J. Pappas,et al. Optimal Paths in Weighted Timed Automata , 2001, HSCC.
[10] Kim G. Larsen,et al. Minimum-Cost Reachability for Priced Timed Automata , 2001, HSCC.
[11] S. Sastry,et al. Decidable and semi-decidable controller synthesis for classes of discrete time hybrid systems , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).
[12] Christos G. Cassandras,et al. Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.
[13] Panos J. Antsaklis,et al. An invariant‐based approach to the design of hybrid control systems , 2001 .
[14] Kenneth L. McMillan,et al. Symbolic model checking , 1992 .
[15] Edmund M. Clarke,et al. Characterizing Finite Kripke Structures in Propositional Temporal Logic , 1988, Theor. Comput. Sci..
[16] Pravin Varaiya,et al. What's decidable about hybrid automata? , 1995, STOC '95.
[17] P. S. Thiagarajan,et al. Branching time controllers for discrete event systems , 2002, Theor. Comput. Sci..
[18] Pravin Varaiya,et al. Decidability of Hybrid Systems with Rectangular Differential Inclusion , 1994, CAV.
[19] Bruce H. Krogh,et al. Verification of infinite-state dynamic systems using approximate quotient transition systems , 2001, IEEE Trans. Autom. Control..
[20] Jan H. van Schuppen,et al. Control of Piecewise-Linear Hybrid Systems on Simplices and Rectangles , 2001, HSCC.
[21] Nicola Elia,et al. Stabilization of linear systems with limited information , 2001, IEEE Trans. Autom. Control..
[22] Scott A. Smolka,et al. CCS expressions, finite state processes, and three problems of equivalence , 1983, PODC '83.
[23] R. Kaiman. KRONECKER INVARIANTS AND FEEDBACK , 1972 .
[24] P. Madhusudan,et al. Timed Control Synthesis for External Specifications , 2002, STACS.
[25] E. Hoffman,et al. Aircraft in the future ATM system - exploiting the 4D aircraft trajectory , 2004, The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576).
[26] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .
[27] Jonathan S. Ostroff,et al. Temporal logic for real-time systems , 1989 .
[28] Zohar Manna,et al. The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.
[29] Tariq Samad. Control of Communication Networks , 2001 .
[30] Nicolas Halbwachs,et al. Minimal Model Generation , 1990, CAV.
[31] Madhavan Mukund,et al. Synthesizing Distributed Transition Systems from Global Specification , 1999, FSTTCS.
[32] Anna Philippou,et al. Tools and Algorithms for the Construction and Analysis of Systems , 2018, Lecture Notes in Computer Science.
[33] M. Broucke. A geometric approach to bisimulation and verification of hybrid systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).
[34] B.A. Parviz,et al. Self-assembly for microscale and nanoscale packaging: steps toward self-packaging , 2005, IEEE Transactions on Advanced Packaging.
[35] Thomas A. Henzinger,et al. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.
[36] A. Di Febbraro,et al. Synchronization and control of a multimodal transportation system , 1994, Proceedings of MELECON '94. Mediterranean Electrotechnical Conference.
[37] Pavol Brunovský,et al. A classification of linear controllable systems , 1970, Kybernetika.
[38] Daniel Liberzon,et al. Quantized feedback stabilization of linear systems , 2000, IEEE Trans. Autom. Control..
[39] Zongxuan Sun,et al. Challenges and opportunities in automotive transmission control , 2005, Proceedings of the 2005, American Control Conference, 2005..
[40] P. Ramadge. Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata , 1989 .
[41] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[42] Jennifer M. Davoren,et al. Robust Controller Synthesis for Hybrid Systems Using Modal Logic , 2001, HSCC.
[43] B. Krogh,et al. Synthesis of supervisory controllers for hybrid systems based on approximating automata , 1998, IEEE Trans. Autom. Control..
[44] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[45] Thomas A. Henzinger,et al. Symbolic Model Checking for Rectangular Hybrid Systems , 2000, TACAS.
[46] Benedetto Piccoli,et al. Controllability for Discrete Systems with a Finite Control Set , 2001, Math. Control. Signals Syst..
[47] Jana Kosecka,et al. Control of Discrete Event Systems , 1992 .
[48] Jie Lin,et al. Coordination of groups of mobile autonomous agents using nearest neighbor rules , 2003, IEEE Trans. Autom. Control..
[49] S. Tripakis,et al. Undecidable problems of decentralized observation and control , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).
[50] George J. Pappas,et al. Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.
[51] Thomas Brihaye,et al. On O-Minimal Hybrid Systems , 2004, HSCC.
[52] Vijay K. Garg,et al. Modeling and Control of Logical Discrete Event Systems , 1994 .
[53] Silvestro Micera,et al. Robotics as a future and emerging technology: biomimetics, cybernetics, and neuro-robotics in European projects , 2005, IEEE Robotics & Automation Magazine.
[54] M. Lansdaal,et al. Boeing's 777 Systems Integration Lab , 2000, IEEE Instrumentation & Measurement Magazine.
[55] Pierre Wolper,et al. Simple on-the-fly automatic verification of linear temporal logic , 1995, PSTV.
[56] Edmund M. Clarke,et al. Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons , 1982, Sci. Comput. Program..
[57] Bud Mishra,et al. Discrete event models+temporal logic=supervisory controller: automatic synthesis of locomotion controllers , 1995, Proceedings of 1995 IEEE International Conference on Robotics and Automation.
[58] Fabio Somenzi,et al. Efficient Büchi Automata from LTL Formulae , 2000, CAV.
[59] J. Khurshid,et al. Military robots - a glimpse from today and tomorrow , 2004, ICARCV 2004 8th Control, Automation, Robotics and Vision Conference, 2004..
[60] G. Kendall. Power outages during market deregulation , 2001 .
[61] P. S. Thiagarajan,et al. A Decidable Class of Asynchronous Distributed Controllers , 2002, CONCUR.
[62] S. Sieber. On a decision method in restricted second-order arithmetic , 1960 .
[63] J. M. DavorenResear. Robust Controller Synthesis for Hybrid Systems Using Modal Logic , 2001 .
[64] Vijay K. Garg,et al. On supervisory control of sequential behaviors , 1992 .
[65] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[66] Marie-Françoise Roy,et al. Real algebraic geometry , 1992 .
[67] Jeff Cook,et al. Opportunities in automotive powertrain control applications , 2002, Proceedings of the International Conference on Control Applications.
[68] Ashish Tiwari,et al. Series of Abstractions for Hybrid Automata , 2002, HSCC.
[69] Pravin Varaiya,et al. Causes and cures of highway congestion , 2001 .
[70] Thomas A. Henzinger,et al. The Control of Synchronous Systems, Part II , 2001, CONCUR.
[71] Bruno Dutertre,et al. Formal Requirements Analysis of an Avionics Control System , 1997, IEEE Trans. Software Eng..
[72] Sérgio Vale Aguiar Campos,et al. Symbolic Model Checking , 1993, CAV.
[73] W. M. Wonham,et al. Supervision of Infinite Behavior of Discrete-Event Systems , 1994 .
[74] Aniello Murano,et al. Dense Real-Time Games , 2002, LICS.
[75] Shengbing Jiang,et al. 2080 SHENGBING JIANG AND RATNESH KUMAR , 2006 .