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

TOTAL DOCUMENTS

27

(FIVE YEARS 0)

H-INDEX

11

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540643586, 9783540697541

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Reachability analysis via face lifting

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

10.1007/3-540-64358-3_34 ◽

1998 ◽

pp. 96-109 ◽

Author(s):

Thao Dang ◽

Oded Maler

Keyword(s):

Reachability Analysis

Download Full-text

Reachability verification for hybrid automata

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

10.1007/3-540-64358-3_40 ◽

1998 ◽

pp. 190-204 ◽

Author(s):

Thomas A. Henzinger ◽

Vlad Rusu

Keyword(s):

Hybrid Automata

Download Full-text

Formal verification of safety-critical hybrid systems

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

10.1007/3-540-64358-3_44 ◽

1998 ◽

pp. 253-272 ◽

Author(s):

Carolos Livadas ◽

Nancy A. Lynch

Keyword(s):

Formal Verification ◽

Hybrid Systems ◽

Safety Critical

Download Full-text

An approach to the verification of the Center-TRACON automation system

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

10.1007/3-540-64358-3_46 ◽

1998 ◽

pp. 289-304 ◽

Author(s):

John Lygeros ◽

George J. Pappas ◽

Shankar Sastry

Keyword(s):

Automation System

Download Full-text

Hybrid cc with interval constraints

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

10.1007/3-540-64358-3_33 ◽

1998 ◽

pp. 80-95 ◽

Author(s):

Björn Carlson ◽

Vineet Gupta

Keyword(s):

Interval Constraints

Download Full-text

Hierarchical hybrid systems: Partition deformations and applications to the acrobot system

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

10.1007/3-540-64358-3_43 ◽

1998 ◽

pp. 237-252 ◽

Author(s):

Ekaterina S. Lemch ◽

Peter E. Caines

Keyword(s):

Download Full-text

Optimization of generalized solutions of nonlinear hybrid (discrete-continuous) systems

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

10.1007/3-540-64358-3_49 ◽

1998 ◽

pp. 334-345

Author(s):

Boris M. Miller

Keyword(s):

Generalized Solutions ◽

Continuous Systems ◽

Nonlinear Hybrid

Download Full-text

Lyapunov stability of continuous-valued systems under the supervision of discrete-event transition systems

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

10.1007/3-540-64358-3_39 ◽

1998 ◽

pp. 175-189 ◽

Author(s):

Kevin X. He ◽

Michael D. Lemmon

Keyword(s):

Lyapunov Stability ◽

Discrete Event ◽

Transition Systems

Download Full-text

Integrated design and simulation of hybrid systems

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

10.1007/3-540-64358-3_42 ◽

1998 ◽

pp. 221-236 ◽

Author(s):

Georg Lehrenfeld ◽

Rolf Naumann ◽

Rainer Rasche ◽

Carsten Rust ◽

Jürgen Tacken

Keyword(s):

Hybrid Systems ◽

Integrated Design

Download Full-text

Equations on timed languages

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

10.1007/3-540-64358-3_28 ◽

1998 ◽

pp. 1-12 ◽

Author(s):

Eugene Asarin

Download Full-text