12. HSCC 2009:
San Francisco, CA, USA Rupak Majumdar , Paulo Tabuada (Eds.):
Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings.
Lecture Notes in Computer Science 5469 Springer 2009, ISBN 978-3-642-00601-2 Regular Papers
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/hybrid/BernardiniPBF09 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/hybrid/CinquemaniMSL09 export record as
dblp key:
Jorge Cortés :
Distributed Wombling by Robotic Sensor Networks.
120-134
export record as
dblp key:
Jennifer M. Davoren :
Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces.
135-149
export record as
dblp key:
conf/hybrid/DonkersHHWS09 export record as
dblp key:
export record as
dblp key:
conf/hybrid/FontanelliPP09 export record as
dblp key:
Radu Grosu :
Finite Automata as Time-Inv Linear Systems Observability, Reachability and More.
194-208
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Mircea Lazar ,
Andrej Jokic :
Synthesis of Trajectory-Dependent Control Lyapunov Functions by a Single Linear Program.
237-251
export record as
dblp key:
Ji-Woong Lee :
Uniform Consensus among Self-driven Particles.
252-261
export record as
dblp key:
export record as
dblp key:
conf/hybrid/OehlerkingT09 export record as
dblp key:
Yizhar Or ,
Aaron D. Ames :
Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian Hybrid Systems.
291-305
export record as
dblp key:
Gunther Reißig :
Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems.
306-320
export record as
dblp key:
conf/hybrid/RipaccioliBADCK09 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/hybrid/WongpiromsarnMML09 export record as
dblp key:
export record as
dblp key:
Short Papers
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Gou Nakura :
Stochastic Optimal Tracking with Preview for Linear Discrete-Time Markovian Jump Systems (Extended Abstract).
455-459
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/hybrid/VladimerouPVD09 export record as
dblp key:
Farn Wang :
Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment.
485-489
data released under the ODC-BY 1.0 license
