1. HSCC 1998:
Berkeley, California, USA
Ansgar Fehnker:
Automotive Control Revisited: Linear Inequalities as Approximation of Reachable Sets.
110-125
Viktor Friesen:
A Logic for the Specification of Continuous Systems.
143-158
Kevin X. He,
Michael D. Lemmon:
Lyapunov Stability of Continuous-Valued Systems under the Supervision of Discrete-Event Transition Systems.
175-189
Boris M. Miller:
Optimization of Generalized Solutions of Nonlinear Hybrid (Discrete-Continuous) Systems.
334-345
Todd W. Neller:
Information-Based Optimization Approaches to Dynamical System Safety Verification.
346-359
Jan H. van Schuppen:
A Sufficient Condition for Controllability of a Class of Hybrid Systems.
374-383
data released under the ODC-BY 1.0 license
