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

9783540418665, 9783540453512

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Reach Set Computations Using Real Quantifier Elimination

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

10.1007/3-540-45351-2_9 ◽

2001 ◽

pp. 63-76 ◽

Cited By ~ 40

Author(s):

Hirokazu Anai ◽

Volker Weispfenning

Keyword(s):

Quantifier Elimination

Download Full-text

Control as an Embedded Technology

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

10.1007/3-540-45351-2_1 ◽

2001 ◽

pp. 1-2

Author(s):

Manfred Morari

Keyword(s):

Embedded Technology

Download Full-text

Hybrid Modeling of TCP Congestion Control

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

10.1007/3-540-45351-2_25 ◽

2001 ◽

pp. 291-304 ◽

Cited By ~ 43

Author(s):

João P. Hespanha ◽

Stephan Bohacek ◽

Katia Obraczka ◽

Junsoo Lee

Keyword(s):

Congestion Control ◽

Hybrid Modeling ◽

Tcp Congestion Control

Download Full-text

Mode Switching Synthesis for Reachability Specifications

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

10.1007/3-540-45351-2_28 ◽

2001 ◽

pp. 333-346 ◽

Cited By ~ 13

Author(s):

T. John Koo ◽

George J. Pappas ◽

Shankar Sastry

Keyword(s):

Mode Switching

Download Full-text

Hybrid Systems Applications: An Oxymoron?

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

10.1007/3-540-45351-2_4 ◽

2001 ◽

pp. 5-6

Author(s):

Alberto Sangiovanni-Vincentelli ◽

Thomas A. Henzinger ◽

Bruce H. Krogh ◽

Oded Maler ◽

Manfred Morari ◽

...

Keyword(s):

Hybrid Systems

Download Full-text

A Generalized Approach for Analysis and Control of Discrete-Time Piecewise Affine and Hybrid Systems

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

10.1007/3-540-45351-2_18 ◽

2001 ◽

pp. 189-203 ◽

Cited By ~ 28

Author(s):

Francesco Alessandro Cuzzola ◽

Manfred Morari

Keyword(s):

Hybrid Systems ◽

Discrete Time ◽

Piecewise Affine ◽

And Control

Download Full-text

Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets

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

10.1007/3-540-45351-2_34 ◽

2001 ◽

pp. 418-432 ◽

Cited By ~ 33

Author(s):

Ian Mitchell ◽

Alexandre M. Bayen ◽

Claire J. Tomlin

Keyword(s):

Hybrid System ◽

Reachable Sets

Download Full-text

Modeling of Continuous-Discrete Processes

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

10.1007/3-540-45351-2_32 ◽

2001 ◽

pp. 387-402 ◽

Cited By ~ 2

Author(s):

Vishal Bahl ◽

Andreas A. Linninger

Download Full-text

Accurate Event Detection for Simulating Hybrid Systems

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

10.1007/3-540-45351-2_19 ◽

2001 ◽

pp. 204-217 ◽

Cited By ~ 37

Author(s):

Joel M. Esposito ◽

Vijay Kumar ◽

George J. Pappas

Keyword(s):

Hybrid Systems ◽

Event Detection

Download Full-text

Characterization of Stabilizing Switching Sequences in Switched Linear Systems Using Piecewise Linear Lyapunov Functions

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

10.1007/3-540-45351-2_29 ◽

2001 ◽

pp. 347-360 ◽

Cited By ~ 2

Author(s):

Xenofon D. Koutsoukos ◽

Panos J. Antsaklis

Keyword(s):

Linear Systems ◽

Lyapunov Functions ◽

Piecewise Linear ◽

Switched Linear Systems ◽

Linear Lyapunov Functions

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Reach Set Computations Using Real Quantifier Elimination

Control as an Embedded Technology

Hybrid Modeling of TCP Congestion Control

Mode Switching Synthesis for Reachability Specifications

Hybrid Systems Applications: An Oxymoron?

A Generalized Approach for Analysis and Control of Discrete-Time Piecewise Affine and Hybrid Systems

Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets

Modeling of Continuous-Discrete Processes

Accurate Event Detection for Simulating Hybrid Systems

Characterization of Stabilizing Switching Sequences in Switched Linear Systems Using Piecewise Linear Lyapunov Functions

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