Modelling and analysis of hybrid systems

[1]  Leslie Lamport,et al.  "Sometime" is sometimes "not never": on the temporal logic of programs , 1980, POPL '80.

[2]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[3]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[4]  L. Tavernini.  Differential automata and their discrete simulators , 1987 .

[5]  J. Kopainsky,et al.  Principles and engineering of process control with Petri nets , 1988 .

[6]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[7]  P. Caines,et al.  COCOLOG: a conditional observer and controller logic for finite machines , 1990, 29th IEEE Conference on Decision and Control.

[8]  Rajeev Alur,et al.  The Theory of Timed Automata , 1991, REX Workshop.

[9]  Bruce H. Krogh,et al.  On condition/event systems with discrete state realizations , 1991, Discret. Event Dyn. Syst..

[10]  Edmund M. Clarke,et al.  Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..

[11]  Paul I. Barton,et al.  The modelling and simulation of combined discrete/continuous processes , 1992 .

[12]  John Guckenheimer,et al.  A Dynamical Simulation Facility for Hybrid Systems , 1993, Hybrid Systems.

[13]  Joseph Sifakis,et al.  Compiling Real-Time Specifications into Extended Automata , 1992, IEEE Trans. Software Eng..

[14]  Edmund M. Clarke,et al.  Automatic verification of sequential control systems using temporal logic , 1992 .

[15]  Panos J. Antsaklis,et al.  Hybrid System Modeling and Autonomous Control Systems , 1992, Hybrid Systems.

[16]  Y. Brave.  Control of discrete event systems modeled as hierarchical state machines , 1993, IEEE Trans. Autom. Control..

[17]  First Principle-Based Event-Discrete Dynamic System Models and EDD Controller Synthesis , 1993 .

[18]  Christos G. Cassandras,et al.  Discrete event systems : modeling and performance analysis , 1993 .

[19]  Hilding Elmqvist,et al.  Object-oriented modeling of hybrid systems , 1993 .

[20]  Bruce H. Krogh,et al.  Condition/event signal interfaces for block diagram modeling and analysis of hybrid systems , 1993, Proceedings of 8th IEEE International Symposium on Intelligent Control.

[21]  P. Ramadge,et al.  Periodicity and chaos from switched flow systems: contrasting examples of discretely controlled continuous systems , 1993, IEEE Trans. Autom. Control..

[22]  Hans-Michael Hanisch.  Analysis of Place/Transition Nets with Timed Arcs and its Application to Batch Process Control , 1993, Application and Theory of Petri Nets.

[23]  Edmund M. Clarke,et al.  Model checking and abstraction , 1994, TOPL.

[24]  Jan Lunze,et al.  Qualitative modelling of linear dynamical systems with quantized state measurements , 1994, Autom..

[25]  Paul I. Barton,et al.  Modeling of combined discrete/continuous processes , 1994 .

[26]  V. Borkar,et al.  A unified framework for hybrid control , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[27]  Heiko Krumm,et al.  Compositional specification and verification of high-speed transfer protocols , 1994, PSTV.

[28]  Sebastian Engell,et al.  Dynamic simulation of batch plants , 1994 .

[29]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[30]  Thomas A. Henzinger,et al.  Symbolic Model Checking for Real-Time Systems , 1994, Inf. Comput..

[31]  Thomas A. Henzinger,et al.  Temporal Proof Methodologies for Timed Transition Systems , 1994, Inf. Comput..

[32]  S. Kowalewski,et al.  Model-based verification of batch process control software , 1994, Proceedings of IEEE International Conference on Systems, Man and Cybernetics.

[33]  K. Larsen,et al.  Model-Checking for Real-Time Systems , 1995, International Symposium on Fundamentals of Computation Theory.

[34]  James H. Taylor,et al.  Rigorous handling of state events in MATLAB , 1995, Proceedings of International Conference on Control Applications.

[35]  Thomas Schurmann,et al.  The entropy of 'strange' billiards inside n-simplexes , 1995 .

[36]  Sebastian Engell,et al.  HYBRID SIMULATION OF FLEXIBLE BATCH PLANTS , 1995 .

[37]  Peter E. Caines,et al.  The logical control of an elevator , 1995, IEEE Trans. Autom. Control..

[38]  Thomas A. Henzinger,et al.  A User Guide to HyTech , 1995, TACAS.

[39]  Stefan Kowalewski,et al.  Condition/Event Systems: a Powerful Paradigm for Timed and Untimed Discrete Models of Technical Systems , 1995, EUROSIM.

[40]  Zohar Manna,et al.  Temporal Verification of Reactive Systems , 1995, Springer New York.

[41]  Michael Tittus.  Control Synthesis for Batch Processes , 1995 .

[42]  Ingo Hoffmann,et al.  Modular hierarchical models of hybrid systems , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[43]  Stefan Kowalewski,et al.  Verification of Sequential Controllers with Timing Functions for Chemical Processes , 1996 .

[44]  Kurt Jensen,et al.  Coloured Petri Nets , 1997, Monographs in Theoretical Computer Science An EATCS Series.

[45]  Stefan Kowalewski,et al.  Comparing Timed C/E Systems with Timed Automata (Abstract) , 1997, HART.

[46]  Gary J. Powers,et al.  Verification of a logically controlled, solids transport system using symbolic model checking , 1997 .