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

9783540789284, 9783540789291

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems

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

10.1007/978-3-540-78929-1_45 ◽

2008 ◽

pp. 606-609 ◽

Cited By ~ 6

Author(s):

Amit Bhatia ◽

Emilio Frazzoli

Keyword(s):

Linear Systems

Download Full-text

Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System

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

10.1007/978-3-540-78929-1_5 ◽

2008 ◽

pp. 58-71 ◽

Cited By ~ 19

Author(s):

L. Benvenuti ◽

A. Ferrari ◽

E. Mazzi ◽

A. L. Sangiovanni Vincentelli

Keyword(s):

Hybrid System ◽

Closed Loop

Download Full-text

On the Optimality of Dubins Paths across Heterogeneous Terrain

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

10.1007/978-3-540-78929-1_33 ◽

2008 ◽

pp. 457-470 ◽

Cited By ~ 6

Author(s):

Ricardo G. Sanfelice ◽

Emilio Frazzoli

Keyword(s):

Heterogeneous Terrain

Download Full-text

Algebraic Identification of MIMO SARX Models

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

10.1007/978-3-540-78929-1_4 ◽

2008 ◽

pp. 43-57 ◽

Cited By ~ 9

Author(s):

Laurent Bako ◽

René Vidal

Download Full-text

Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps

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

10.1007/978-3-540-78929-1_43 ◽

2008 ◽

pp. 598-601 ◽

Cited By ~ 4

Author(s):

Alessandro Abate ◽

Maria Prandini ◽

John Lygeros ◽

Shankar Sastry

Keyword(s):

Hybrid Systems ◽

Stochastic Hybrid Systems ◽

Switching Diffusions ◽

General Stochastic

Download Full-text

Safety and Liveness in Intelligent Intersections

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

10.1007/978-3-540-78929-1_22 ◽

2008 ◽

pp. 301-315 ◽

Cited By ~ 2

Author(s):

Hemant Kowshik ◽

Derek Caveney ◽

P. R. Kumar

Download Full-text

Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates

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

10.1007/978-3-540-78929-1_60 ◽

2008 ◽

pp. 666-669

Author(s):

Yoshiyuki Tsuchie ◽

Toshimitsu Ushio

Keyword(s):

Hybrid Systems ◽

Sampled Data

Download Full-text

d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata

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

10.1007/978-3-540-78929-1_48 ◽

2008 ◽

pp. 618-621 ◽

Cited By ~ 2

Author(s):

Sumit Kumar Jha

Keyword(s):

Hybrid Automata ◽

Linear Hybrid Automata

Download Full-text

Input-to-State Stabilization with Quantized Output Feedback

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

10.1007/978-3-540-78929-1_36 ◽

2008 ◽

pp. 500-513 ◽

Cited By ~ 4

Author(s):

Yoav Sharon ◽

Daniel Liberzon

Keyword(s):

Output Feedback

Download Full-text

Anytime Control Algorithms for Embedded Real-Time Systems

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

10.1007/978-3-540-78929-1_12 ◽

2008 ◽

pp. 158-171 ◽

Cited By ~ 13

Author(s):

Daniele Fontanelli ◽

Luca Greco ◽

Antonio Bicchi

Keyword(s):

Real Time ◽

Control Algorithms ◽

Real Time Systems ◽

Time Systems

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems

Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System

On the Optimality of Dubins Paths across Heterogeneous Terrain

Algebraic Identification of MIMO SARX Models

Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps

Safety and Liveness in Intelligent Intersections

Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates

d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata

Input-to-State Stabilization with Quantized Output Feedback

Anytime Control Algorithms for Embedded Real-Time Systems

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