12. HSCC 2009:
San Francisco, CA, USA
: Distributed Wombling by Robotic Sensor Networks.
Jennifer M. Davoren
: Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces.
: Finite Automata as Time-Inv Linear Systems Observability, Reachability and More.
, Andrej Jokic
: Synthesis of Trajectory-Dependent Control Lyapunov Functions by a Single Linear Program.
: Uniform Consensus among Self-driven Particles.
, Aaron D. Ames
: Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian Hybrid Systems.
: Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems.
: Stochastic Optimal Tracking with Preview for Linear Discrete-Time Markovian Jump Systems (Extended Abstract).
: Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment.