R. Grossman, A. Nerode, A. Ravn, and H. Reischel, editors. Hybrid Systems, Lecture Notes in Computer Science 736. Springer Verlag, 1993. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Transient Reduction in Control Loops in Case of Joint.. - Simon, Kovacshazy.. (2001) (Correct)
On Hybrid Control of Complex Systems: A Survey - Antsaklis, Koutsoukos, Zaytoon (1998) (4 citations) (Correct)
SCICOS A Dynamic System Builder and Simulator User's.. - Ramine Nikoukhah Serge (1997) (Correct)
A Toolbox for Proving and Maintaining Hybrid Specifications - Branicky, Dolginova, Lynch (1997) (3 citations) (Correct)
Hierarchies of Spatially Extended Systems and Synchronous.. - Poole, Tucker, Holden (1998) (Correct)
Characterization of Well-Posedness of Piecewise Linear Systems - Imura (2000) (2 citations) (Correct)
A Variational Calculus Framework for Motion Planning - Zefran, Kumar (Correct)
Verification of a Biphase Mark Protocol - Ivanov, Griffioen (1999) (2 citations) (Correct)
Real-time System = Discrete System + Clock Variables - Alur, Henzinger (1997) (5 citations) (Correct)
Specification of Real-Time and Hybrid Systems in FOCUS - Müller, Scholz (1996) (2 citations) (Correct)
Straightening Out Rectangular differential inclusions - Pappas, Sastry (1998) (2 citations) (Correct)
Hybrid Modeling of TCP Congestion Control - Hespanha, Bohacek, Obraczka, Lee (2001) (4 citations) (Correct)
Discrete Abstractions of Continuous Systems -- an Input/Output.. - J. Raisch (Correct)
Logic-Based Switching Algorithms in Control - Hespanha (1998) (14 citations) (Correct)
Submitted for Publication to - International Workshop On Self-citation (Systems) (Correct)
An Algebraic Approach to Hybrid Systems - Grossman And Larson (1995) (1 citation) Self-citation (Grossman Hybrid) (Correct)
A Process Algebraic Approach to Hybrid Systems (Extended Abstract) - Willemse Self-citation (Systems) (Correct)
Hybrid Systems with Finite Bisimulations - Lafferriere, Pappas, Sastry (1999) (6 citations) Self-citation (Hybrid) (Correct)
Discrete Abstractions of Hybrid Systems - Alur, Henzinger, Lafferriere.. (2000) (43 citations) Self-citation (Hybrid) (Correct)
Multiple Lyapunov Functions and Other Analysis Tools for.. - Michael Branicky Member (1998) (70 citations) Self-citation (Systems) (Correct)
Perspectives and Results on the Stability and.. - DeCarlo.. (2000) (9 citations) Self-citation (Systems) (Correct)
Conflict Resolution for Air Traffic Management: A Study.. - Tomlin, Pappas, Sastry (1998) (21 citations) Self-citation (Hybrid) (Correct)
A Unified Framework for Hybrid Control: Model and.. - Branicky, Borkar, Mitter (1998) (27 citations) Self-citation (Hybrid) (Correct)
Towards Continuous Abstractions of Dynamical and Control Systems - Pappas, Sastry (1997) (4 citations) Self-citation (Systems) (Correct)
Conflict Resolution for Air Traffic Management: a Study.. - Tomlin, Pappas, Sastry (1998) (21 citations) Self-citation (Systems) (Correct)
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC