R. Alur, T.A. Henzinger, and E.D. Sontag, editors. Hybrid Systems III. Lecture Notes in Computer Science 1066. Springer-Verlag, 1996. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
A Tutorial Introduction to Supervisory Hybrid Systems - Lemmon, He, Markovsky (1998) (2 citations) (Correct)
Bounded Model Checking for Timed Automata - Sorea (2002) (5 citations) (Correct)
An Automaton-Theoretic Approach to Safety and Security in.. - Lanotte (2003) (Correct)
Straightening Out Rectangular differential inclusions - Pappas, Sastry (1998) (2 citations) (Correct)
Tempo: A Model Checker for Event-Recording Automata - Sorea (2001) (5 citations) (Correct)
Modelling and Verification using Linear Hybrid Automata - a.. - Müller, STAUNER (1998) (3 citations) (Correct)
Towards an Integrated Test Methodology for Advanced.. - Grabowski, Walter (Correct)
Systematic Verification Of Pipelined Microprocessors - Hosabettu (2000) (8 citations) (Correct)
Using HyTech to Verify an Automotive Control System - Stauner, Müller, Fuchs (1997) (26 citations) (Correct)
Formal Verification Of Parameterized Protocols On Branching Networks - Jones (2001) (1 citation) (Correct)
Efficient Symbolic State-Space Construction for.. - Ciardo, Lüttgen.. (1999) (1 citation) (Correct)
Towards Continuous Abstractions of Dynamical and Control Systems - George Pappas And (1997) (4 citations) Self-citation (Systems) (Correct)
Modelling and Verification using Linear Hybrid Automata - a.. - Müller, Stauner (1996) Self-citation (Hybrid) (Correct)
Optimal Control of a Class of Linear Hybrid Systems With.. - De Schutter (2000) Self-citation (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)
Straightening Out Rectangular differential inclusions - Pappas, Sastry (1998) (2 citations) Self-citation (Sastry) (Correct)
Discrete Abstractions of Hybrid Systems - Alur, Henzinger, Lafferriere.. (2000) (43 citations) Self-citation (Henzinger Hybrid) (Correct)
Discrete Abstractions of Hybrid Systems - Alur, Henzinger, Lafferriere.. (2000) (43 citations) Self-citation (Alur Henzinger Hybrid) (Correct)
TIMA Lab. Research Reports - Tima Laboratory Avenue Self-citation (International) (Correct)
Conflict Resolution for Air Traffic Management: A Study.. - Tomlin, Pappas, Sastry (1998) (21 citations) Self-citation (Hybrid) (Correct)
Towards Continuous Abstractions of Dynamical and Control Systems - Pappas, Sastry (1997) (4 citations) Self-citation (Systems) (Correct)
Straightening Out Rectangular Differential Inclusions - Pappas, Sastry (1997) (2 citations) Self-citation (Sastry) (Correct)
Approaches to Modelling, Analysis, and Control of.. - Boel, De Schutter.. (1999) Self-citation (Systems Control Van schuppen) (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