Hybrid Systems: Computation and Control - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

42

(FIVE YEARS 0)

H-INDEX

16

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540331704, 9783540331711

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Beyond Zeno: Get on with It!

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/11730637_42 ◽

2006 ◽

pp. 568-582 ◽

Author(s):

Haiyang Zheng ◽

Edward A. Lee ◽

Aaron D. Ames

Download Full-text

Model Checking of Hybrid Systems: From Reachability Towards Stability

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/11730637_38 ◽

2006 ◽

pp. 507-521 ◽

Author(s):

Andreas Podelski ◽

Silke Wagner

Keyword(s):

Model Checking ◽

Download Full-text

Approximate Abstraction of Stochastic Hybrid Automata

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/11730637_25 ◽

2006 ◽

pp. 318-332 ◽

Author(s):

A. Agung Julius

Keyword(s):

Hybrid Automata

Download Full-text

Simultaneous Optimization of Continuous Control Inputs and Discrete State Waypoints

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/11730637_24 ◽

2006 ◽

pp. 302-317 ◽

Author(s):

Jun-ichi Imura ◽

Hiromichi Matsushima

Keyword(s):

Simultaneous Optimization ◽

Continuous Control ◽

Download Full-text

Decision Problems for the Verification of Real-Time Software

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/11730637_17 ◽

2006 ◽

pp. 200-211 ◽

Author(s):

Michael Emmi ◽

Rupak Majumdar

Keyword(s):

Real Time ◽

Decision Problems

Download Full-text

Optimality Zone Algorithms for Hybrid Systems: Efficient Algorithms for Optimal Location and Control Computation

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/11730637_12 ◽

2006 ◽

pp. 123-137 ◽

Author(s):

Peter E. Caines ◽

M. Shahid Shaikh

Keyword(s):

Hybrid Systems ◽

Optimal Location ◽

Efficient Algorithms ◽

Download Full-text

The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/11730637_20 ◽

2006 ◽

pp. 242-256 ◽

Author(s):

Yan Gao ◽

John Lygeros ◽

Marc Quincapoix

Keyword(s):

Hybrid Systems ◽

Viability Theory ◽

Reachability Problem

Download Full-text

Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/11730637_21 ◽

2006 ◽

pp. 257-271 ◽

Author(s):

Antoine Girard ◽

Colas Le Guernic ◽

Oded Maler

Keyword(s):

Linear Time ◽

Reachable Sets ◽

Efficient Computation ◽

Linear Time Invariant ◽

Linear Time Invariant Systems ◽

Download Full-text

A Lattice Theory for Solving Games of Imperfect Information

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/11730637_14 ◽

2006 ◽

pp. 153-168 ◽

Author(s):

Martin De Wulf ◽

Laurent Doyen ◽

Jean-François Raskin

Keyword(s):

Lattice Theory ◽

Imperfect Information

Download Full-text

Hybrid Systems—And Everything Else

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/11730637_3 ◽

2006 ◽

pp. 3-3

Author(s):

John Rushby

Keyword(s):

Download Full-text