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

TOTAL DOCUMENTS

44
(FIVE YEARS 0)

H-INDEX

18
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540212591, 9783540247432
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems

2004 ◽  
pp. 111-125 ◽  
Author(s):  
Călin Belta ◽  
Peter Finin ◽  
Luc C. G. J. M. Habets ◽  
Ádám M. Halász ◽  
Marcin Imieliński ◽  
...  
Keyword(s):  
Hybrid Systems ◽  
Stringent Response ◽  
Reachability Analysis

On O-Minimal Hybrid Systems

2004 ◽  
pp. 219-233 ◽  
Author(s):  
Thomas Brihaye ◽  
Christian Michaux ◽  
Cédric Rivière ◽  
Christophe Troestler
Keyword(s):  
Hybrid Systems

Lazy Rectangular Hybrid Automata

2004 ◽  
pp. 1-15 ◽  
Author(s):  
Manindra Agrawal ◽  
P. S. Thiagarajan
Keyword(s):  
Hybrid Automata

scholarly journals Constructing Invariants for Hybrid Systems

2004 ◽  
pp. 539-554 ◽  
Author(s):  
Sriram Sankaranarayanan ◽  
Henny B. Sipma ◽  
Zohar Manna
Keyword(s):  
Hybrid Systems

scholarly journals Discrete and Hybrid Nonholonomy

2004 ◽  
pp. 157-172
Author(s):  
Antonio Bicchi ◽  
Alessia Marigo ◽  
Benedetto Piccoli
Load More ...
Sign in / Sign up

Export Citation Format

Share Document