1. HSCC 1998:
Berkeley, California, USA
: Automotive Control Revisited: Linear Inequalities as Approximation of Reachable Sets.
: A Logic for the Specification of Continuous Systems.
Kevin X. He
, Michael D. Lemmon
: Lyapunov Stability of Continuous-Valued Systems under the Supervision of Discrete-Event Transition Systems.
Boris M. Miller
: Optimization of Generalized Solutions of Nonlinear Hybrid (Discrete-Continuous) Systems.
Todd W. Neller
: Information-Based Optimization Approaches to Dynamical System Safety Verification.
Jan H. van Schuppen
: A Sufficient Condition for Controllability of a Class of Hybrid Systems.