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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540331704, 9783540331711

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 36

Author(s):

Martin De Wulf ◽

Laurent Doyen ◽

Jean-François Raskin

Keyword(s):

Lattice Theory ◽

Imperfect Information

Download Full-text

Beyond Zeno: Get on with It!

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

10.1007/11730637_42 ◽

2006 ◽

pp. 568-582 ◽

Cited By ~ 12

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 ◽

Cited By ~ 25

Author(s):

Andreas Podelski ◽

Silke Wagner

Keyword(s):

Model Checking ◽

Hybrid Systems

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 ◽

Cited By ~ 19

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 ◽

Cited By ~ 6

Author(s):

Jun-ichi Imura ◽

Hiromichi Matsushima

Keyword(s):

Simultaneous Optimization ◽

Continuous Control ◽

Discrete State

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 ◽

Cited By ~ 19

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 ◽

Cited By ~ 11

Author(s):

Peter E. Caines ◽

M. Shahid Shaikh

Keyword(s):

Hybrid Systems ◽

Optimal Location ◽

Efficient Algorithms ◽

And Control

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 ◽

Cited By ~ 10

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 ◽

Cited By ~ 95

Author(s):

Antoine Girard ◽

Colas Le Guernic ◽

Oded Maler

Keyword(s):

Linear Time ◽

Reachable Sets ◽

Efficient Computation ◽

Linear Time Invariant ◽

Linear Time Invariant Systems ◽

Time Invariant

Download Full-text

Estimation and Conflict Detection in Human Controlled Systems

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

10.1007/11730637_31 ◽

2006 ◽

pp. 407-420 ◽

Cited By ~ 7

Author(s):

Charles Lesire ◽

Catherine Tessier

Keyword(s):

Conflict Detection ◽

Controlled Systems

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Lattice Theory for Solving Games of Imperfect Information

Beyond Zeno: Get on with It!

Model Checking of Hybrid Systems: From Reachability Towards Stability

Approximate Abstraction of Stochastic Hybrid Automata

Simultaneous Optimization of Continuous Control Inputs and Discrete State Waypoints

Decision Problems for the Verification of Real-Time Software

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

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

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

Estimation and Conflict Detection in Human Controlled Systems

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