Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag (Eds.):
Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA.
Lecture Notes in Computer Science 1066 Springer 1996, ISBN 3-540-61155-X 
Michel Sintzoff:
Abstract Verification of Structured Dynamical Systems.
126-137
Zvi Artstein:
Examples of Stabilization with Hybrid Feedback.
173-185
Michael S. Branicky:
General Hybrid Dynamical Systems: Modeling, Analysis, and Control.
186-200
Lawrence E. Halloway:
On-line Fault Monitoring of a Class of Hybrid Systems Using Templates with Dynamic Time Scaling.
258-269
Qiwen Xu,
He Weidong:
Hierarchical Design of a Chemical Concentration Control System.
270-281
Wang Ji,
He Weidong:
Formal Specification of Stability in Hybrid Control Systems.
294-303
Sanjai Narain:
Proofs from Temporal Hypotheses by Symbolic Simulation.
327-339
Eduardo D. Sontag:
Interconnected Automata and Linear Systems: A Theoretical Framework in Discrete-Time.
436-448
Nancy A. Lynch:
Modelling and Verification of Automated Transit Systems, Using Timed Automata, Invariants and Simulations.
449-463
data released under the ODC-BY 1.0 license
