R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P. H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The Algorithmic Analysis of Hybrid Systems. Theoretical Computer Science, 138(1):3--34, 1995. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Structured Modeling of Concurrent Stochastic Hybrid Systems - Bernadsky, Sharykin, Alur (2004) Self-citation (Alur) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3--34, 1995.
Analyse Algorithmique de Systèmes Hybrides Polygonaux - Schneider (2002) Self-citation (Alur Sifakis Yovine) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3--34, 1995.
Robust Timed Automata - Vineet Gupta Thomas (1997) (21 citations) Self-citation (Henzinger) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3--34, 1995.
Discrete-Time Control for Rectangular Hybrid Automata - Henzinger, Kopke (1997) (14 citations) Self-citation (Henzinger) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3--34, 1995.
Discrete Abstractions of Hybrid Systems - Alur, Henzinger, Lafferriere.. (2000) (43 citations) Self-citation (Alur Henzinger) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3--34, 1995.
A Comparison of Control Problems for Timed and Hybrid Systems - Cassez, Henzinger, Raskin (2002) (2 citations) Self-citation (Henzinger) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3--34, 1995.
Some Lessons from the HyTech Experience - Henzinger, Preußig, Wong-Toi (2001) (12 citations) Self-citation (Henzinger) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3--34, 1995.
Masaccio: A Formal Model for Embedded Components - Henzinger (2000) (6 citations) Self-citation (Henzinger) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3--34, 1995.
Generating Embedded Software from Hierarchical Hybrid.. - Alur, Ivancic, Kim, Lee, .. (2003) (3 citations) Self-citation (Alur) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3--34, 1995.
Stability of Hybrid Systems and Related - Questions From Systems (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P. H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The Algorithmic Analysis of Hybrid Systems. Theoretical Computer Science, 138(1):3--34, 1995.
Algorithmic Algebraic Model Checking II: - Decidability Of Semi-Algebraic (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The Algorithmic Analysis of Hybrid Systems. Theoretical Computer Science, 138:3--34, 1995.
XS-systems: eXtended S-Systems and Algebraic - Di Erential Automata (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P. -H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The Algorithmic Analysis of Hybrid Systems. Theoretical Computer Science, 138:3-34, 1995.
Qualitative Modeling and Heterogeneous Control - Of Global System (Correct)
No context found.
Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science 138 (1995) 3--34
Invariance Kernels of Polygonal Differential Inclusions - Schneider (2003) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3--34, 1995.
A Reachability based Stability Analysis for Switching Systems - Su, Abdelwahed, Neema (2004) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(1):3--34, 1995.
Online Fault Adaptive Control for Efficient.. - Abdelwahed, Wu.. (2004) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(1):3--34, 1995.
Online Control for Self-Management in Computing Systems - Abdelwahed, Kandasamy, Neema (2004) (2 citations) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(1):3--34, 1995.
Hybrid System Verification Is Not a Sinecure - The Electronic .. - Fehnker, Krogh (2004) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3--34, 1995.
Behavioral Modeling for High-Level Synthesis of Analog and.. - Doboli, Vemuri (2002) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, et al, "The Algorithmic Analysis of Hybrid Systems", Journal of Theoretical Computer Science, 138, 1995, pp.3-34.
Discrete Abstractions for Robot Motion Planning and.. - Belta, Isler, Pappas (2004) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Oliviero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3--34, 1995.
Symbolic Reachability Analysis of FIFO-Channel Systems.. - Bouajjani, Habermehl (1998) (26 citations) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The Algorithmic Analysis of Hybrid Systems. Theoretical Computer Science, 138(1):3--34, 1995.
Reachability Analysis of Pushdown Automata: Application.. - Bouajjani, Esparza.. (1997) (100 citations) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The Algorithmic Analysis of Hybrid Systems. TCS, 138, 1995.
Model Checking Concurrent Systems with Unbounded Integer.. - Bultan, Gerber, Pugh (1998) (26 citations) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P. H. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(1):3--34, 1995.
Cross-aspect Queries and Dynamic Views for Model-based.. - David Oglesby Kirk (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3-34, 1995.
A Generic Approach to Schedulability Analysis of Real-Time Systems - Fersman (2003) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(1):3--34, 1995.
UNPUBLISHED REPORT 1 Formal Semantics and Analysis Methods.. - Simulink Stateflow Models (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(3):3--34, 1995. 1
Almost ASAP Semantics: From Timed Models to Timed Implementations - De Wulf, al. (2003) (1 citation) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3--34, 1995.
Verifiable Constraint Propagation Based Solving of Quantified.. - Ratschan (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3--34, 1995.
Abstractions for Hybrid Systems - Tiwari (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(3):3--34, 1995.
On O-Minimal Hybrid Systems - Brihaye, al. (2003) (Correct)
No context found.
Alur R., Courcoubetis C., Halbwachs N., Henzinger T. A., Ho P.-H., Nicollin X., Olivero A., Sifakis J., Yovine S., The algorithmic analysis of hybrid systems, Theoretical Computer Science, 138 (1995), pp. 3--34.
Approximate Reachability for Linear Systems - Tiwari (2 citations) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(3):3-34, 1995.
Hybrid Systems Modeling of Cooperative Robots - Luiz Chaimowicz Mario (Correct)
No context found.
R. Alur, C. Coucoubetis, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3--34, 1995.
Model Based Testing for Real: The Inhouse Card Case Study - Pretschner, Slotosch.. (2001) (1 citation) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(1):3--34, February 1995.
Specifying Mode Requirements of Embedded Systems - Smith (2002) (Correct)
No context found.
Alur, R., Courcoubetis, C., Halbwachs, N., Helzinger, T., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., and Yovine, S. (1995). The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3--34.
Supervisory Control of Hybrid Systems - Koutsoukos, Antsaklis, Stiver.. (2000) (17 citations) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P.-H. Ho, X. Nicollin, A. Oliveiro, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical and Computer Science, 138:3--34, 1995.
Model Based Testing with Constraint Logic Programming.. - Pretschner, Lötzbeyer (2001) (1 citation) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(1):3--34, February 1995.
Combining Hybrid Systems - Lourenco, Sernadas (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3-34, 1995.
Verification of Hybrid Controlled Processing Systems Based on.. - Frehse, al. (2001) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.- H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine, "The algorithmic analysis of hybrid systems," Theoretical Computer Science, vol. 138, pp. 3--34, 1995.
Hybrid Sequence Charts - Radu Grosu Ingolf (2000) (4 citations) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3--34, 1995.
Hybrid System Verification is not a Sinecure - The Electronic .. - Fehnker, Krogh (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3--34, 1995.
Modular Code Generation from Hybrid Automata Based on Data.. - Kim, Lee (2003) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Comp. Science, 138:3--34, 1995.
Modular and Visual Specification of Hybrid Systems - An.. - Grosu, al. (1998) (1 citation) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 1? 11
Information Societies Technology - Ist Programme Future (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The Algorithmic Analysis of Hybrid Systems. TCS, 138, 1995.
Symbolic Computation of Minimal Probabilistic - Reachability Marta Kwiatkowska (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(1):3{ 34, 1995.
A (max,+) Algebra for Non-Stationary and Non-Deterministic.. - Brat (1998) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3--34, 1995.
Timed I/O Automata: A Mathematical Framework for.. - Kaynar, Lynch.. (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.- H. Ho, X. Nicollin, A. Olivero, J.Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3--34, 1995.
Refinement of Hybrid Systems - From Formal Models (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(1):3-- 34, 1995.
Software Verification for Programmable Logic Controllers - Huuck (2003) (Correct)
No context found.
R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.- H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(1):3--34, 1995.
Modelling and Verification using Linear Hybrid Automata - a.. - Müller, Stauner (1996) (Correct)
No context found.
Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., and Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science,
Reach Set Computations Using Real Quantifier Elimination - Anai, Weispfenning (2000) (6 citations) (Correct)
No context found.
R. Alur, C. Coucoubetis, N. Halbwachs, T. Henzinger, P. Ho, X. Nicolin, A. Olivere, J. Safakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3{ 34, 1995.
First 50 documents Next 50
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