- Rogério de Lemos, Jon G. Hall:
Extended RTL in the Specification and Verification of an Industrial Press. Hybrid Systems 1995: 114-125 - John Lygeros, Datta N. Godbole, Shankar Sastry:
A Game-Theoretic Approach to Hybrid System Design. Hybrid Systems 1995: 1-12 - Nancy A. Lynch:
Modelling and Verification of Automated Transit Systems, Using Timed Automata, Invariants and Simulations. Hybrid Systems 1995: 449-463 - Nancy A. Lynch, Roberto Segala
, Frits W. Vaandrager, Henri B. Weinberg:
Hybrid I/O Automata. Hybrid Systems 1995: 496-510 - Sanjai Narain:
Proofs from Temporal Hypotheses by Symbolic Simulation. Hybrid Systems 1995: 327-339 - Toshihiko Niinomi, Bruce H. Krogh, José E. R. Cury:
Refinements of Approximating Automata for Synthesis of Supervisory Controllers for Hybrid Systems. Hybrid Systems 1995: 475-484 - Hong Seong Park, Young Sin Kim, Wook Hyun Kwon, Sang Jeong Lee
:
Model and Stability of Hybrid Linear System. Hybrid Systems 1995: 424-435 - Anuj Puri, Vivek S. Borkar, Pravin Varaiya:
Epsilon-Approximation of Differential Inclusions. Hybrid Systems 1995: 362-376 - Qiwen Xu, Weidong He:
Hierarchical Design of a Chemical Concentration Control System. Hybrid Systems 1995: 270-281 - Jörg Raisch, Siu O'Young:
A DES Approach to Control of Hybrid Dynamical Systems. Hybrid Systems 1995: 563-574 - Andrey V. Savkin, Robin J. Evans
, Ian R. Petersen:
A New Approach to Robust Control of Hybrid Systems. Hybrid Systems 1995: 553-562 - Thomas I. Seidman:
The Residue of Model Reduction. Hybrid Systems 1995: 201-208 - David Sinclair, Eckhardt Holz, Dorota Witaszek, Maciej Wasowski:
Validation of Hybrid Systems by Co-simulation. Hybrid Systems 1995: 315-326 - Michel Sintzoff:
Abstract Verification of Structured Dynamical Systems. Hybrid Systems 1995: 126-137 - Eduardo D. Sontag:
Interconnected Automata and Linear Systems: A Theoretical Framework in Discrete-Time. Hybrid Systems 1995: 436-448 - James A. Stiver, Panos J. Antsaklis, Michael D. Lemmon:
An Invariant Based Approach to the Design of Hybrid Control Systems Containing Clocks. Hybrid Systems 1995: 464-474 - Jan-Erik Strömberg, Simin Nadjm-Tehrani, Jan L. Top:
Switched Bond Graphs as Front-End to Formal Verification of Hybrid Systems. Hybrid Systems 1995: 282-293 - Henri B. Weinberg, Nancy A. Lynch, Norman M. Delisle:
Verification of Automated Vehicle Protection Systems. Hybrid Systems 1995: 101-113 - Ying Zhang, Alan K. Mackworth:
Specification and Verification of Hybrid Dynamic Systems with Timed forall-Automata. Hybrid Systems 1995: 587-603