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

9783540657347, 9783540489832

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Reachability Analysis Using Polygonal Projections

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

10.1007/3-540-48983-5_12 ◽

1999 ◽

pp. 103-116 ◽

Cited By ~ 37

Author(s):

Mark R. Greenstreet ◽

Ian Mitchell

Keyword(s):

Reachability Analysis

Download Full-text

An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages

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

10.1007/3-540-48983-5_17 ◽

1999 ◽

pp. 165-177 ◽

Cited By ~ 42

Author(s):

Pieter J. Mosterman

Keyword(s):

Hybrid Simulation

Download Full-text

As Soon as Possible: Time Optimal Control for Timed Automata

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

10.1007/3-540-48983-5_6 ◽

1999 ◽

pp. 19-30 ◽

Cited By ~ 64

Author(s):

Eugene Asarin ◽

Oded Maler

Keyword(s):

Optimal Control ◽

Timed Automata ◽

Time Optimal Control ◽

Time Optimal

Download Full-text

Verification of Hybrid Systems via Mathematical Programming

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

10.1007/3-540-48983-5_7 ◽

1999 ◽

pp. 31-45 ◽

Cited By ~ 46

Author(s):

Alberto Bemporad ◽

Manfred Morari

Keyword(s):

Mathematical Programming ◽

Hybrid Systems ◽

Verification Of Hybrid Systems

Download Full-text

A New Class of Decidable Hybrid Systems

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

10.1007/3-540-48983-5_15 ◽

1999 ◽

pp. 137-151 ◽

Cited By ~ 93

Author(s):

Gerardo Lafferriere ◽

George J. Pappas ◽

Sergio Yovine

Keyword(s):

Hybrid Systems ◽

New Class

Download Full-text

A Geometric Approach to Bisimulation and Verification of Hybrid Systems

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

10.1007/3-540-48983-5_9 ◽

1999 ◽

pp. 61-75 ◽

Cited By ~ 18

Author(s):

Mireille Broucke

Keyword(s):

Hybrid Systems ◽

Geometric Approach ◽

Verification Of Hybrid Systems

Download Full-text

Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions

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

10.1007/3-540-48983-5_18 ◽

1999 ◽

pp. 178-192 ◽

Cited By ~ 5

Author(s):

Pieter J. Mosterman ◽

Gautam Biswas

Keyword(s):

Dynamic Systems ◽

Complex Dynamic ◽

Complex Dynamic Systems

Download Full-text

Path Planning and Flight Controller Scheduling for an Autonomous Helicopter

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

10.1007/3-540-48983-5_11 ◽

1999 ◽

pp. 91-102 ◽

Cited By ~ 6

Author(s):

M. Egerstedt ◽

T. J. Koo ◽

F. Hoffmann ◽

S. Sastry

Keyword(s):

Path Planning ◽

Autonomous Helicopter

Download Full-text

Computing Controllers for Nonlinear Hybrid Systems

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

10.1007/3-540-48983-5_22 ◽

1999 ◽

pp. 238-255 ◽

Cited By ~ 18

Author(s):

Claire Tomlin ◽

John Lygeros ◽

Shankar Sastry

Keyword(s):

Hybrid Systems ◽

Nonlinear Hybrid

Download Full-text

Integration of Analog and Discrete Synchronous Design

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

10.1007/3-540-48983-5_19 ◽

1999 ◽

pp. 193-208 ◽

Cited By ~ 2

Author(s):

Simin Nadjm-Tehrani

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Reachability Analysis Using Polygonal Projections

An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages

As Soon as Possible: Time Optimal Control for Timed Automata

Verification of Hybrid Systems via Mathematical Programming

A New Class of Decidable Hybrid Systems

A Geometric Approach to Bisimulation and Verification of Hybrid Systems

Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions

Path Planning and Flight Controller Scheduling for an Autonomous Helicopter

Computing Controllers for Nonlinear Hybrid Systems

Integration of Analog and Discrete Synchronous Design

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