O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In Proc. of the 12th Annual Symposium on Theoretical Aspects of Computer Science, STACS'95, LNCS 900, pages 229 - 242. Springer, 1995. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
A Real-time Profile for UML and how to adapt it to SDL - Graf, Ober (2003) (1 citation) (Correct)
Computational Techniques for the Verification and.. - Tomlin, Mitchell.. (Correct)
Tools for Controller Synthesis of Timed Systems - Altisen, Tripakis (Correct)
Compositional Modeling in Metropolis - Gössler, Sangiovanni-Vincentelli (2002) (2 citations) (Correct)
Dynamic Computational Complexity - Hesse (2003) (Correct)
Theory of Optimal Control Using Bisimulations - Broucke, Di Benedetto, Di.. (2000) (2 citations) (Correct)
The Element of Surprise in Timed Games - de Alfaro, Faella, Henzinger.. (Correct)
Formal Synthesis of Real-Time Embedded Software by Time-Memory.. - Hsiung, Gau (2002) (Correct)
Formal Synthesis And Control Of Soft Embedded Real-Time Systems - Hsiung (2001) (Correct)
Task-Level Programming for Control Systems Using Discrete.. - Rutten, Marchand (2002) (Correct)
Task-Level Programming for Control Systems Using Discrete.. - Rutten, Marchand (2002) (Correct)
Symbolic Algorithms for Infinite-State Games - de Alfaro, Henzinger, Majumdar (2001) (5 citations) (Correct)
Validating a Hamilton-Jacobi Approximation to Hybrid.. - Mitchell, Bayen, Tomlin (2001) (Correct)
Embedded Software Verification in Hardware-Software Codesign - Hsiung (2000) (Correct)
Synthesis of Discrete-Event Controllers based on.. - Marchand.. (2000) (3 citations) (Correct)
Logics for Hybrid Systems - Davoren, Nerode (2000) (11 citations) (Correct)
Controllability characterization and checking in Contingent.. - Vidal (2000) (1 citation) (Correct)
A Framework for Using Discrete Control Synthesis in Safe Robotic.. - Rutten (2000) (3 citations) (Correct)
Rectangular Hybrid Games - Henzinger, Horowitz, Majumdar (1999) (15 citations) (Correct)
Conflict Resolution for Air Traffic Management: A Study.. - Tomlin, Pappas, Sastry (1998) (21 citations) (Correct)
A Comparison of Control Problems for Timed and Hybrid Systems - Cassez, Henzinger, Raskin (2002) (2 citations) (Correct)
Symbolic Algorithms for Infinite-State Games - de Alfaro, Henzinger, Majumdar (2001) (5 citations) (Correct)
Beyond The Verification Approach: The Synthesis Approach - Barbeau, St-Denis (1999) (Correct)
Optimal-Reachability and Control for Acyclic Weighted.. - Torre, Mukhopadhyay.. (2002) (3 citations) (Correct)
Thomas A. Henzinger Ranjit Jhala Rupak Majumdar - Report No Ucb (Correct)
Timed Interfaces - de Alfaro, Henzinger, Stoelinga (2002) (1 citation) (Correct)
A Real-time Profile for UML and how to adapt it to SDL - Graf, Ober (2003) (1 citation) (Correct)
Synthesis of Optimal Strategies Using HYTECH - Bouyer, Cassez, Fleury, Larsen (2004) (1 citation) (Correct)
Petri Games are Monotone but Difficult to Decide - Raskin, al. (2003) (Correct)
Discrete-Time Control for Rectangular Hybrid Automata - Henzinger, Kopke (1997) (14 citations) (Correct)
Petri Games are Monotonic but Difficult to Decide - Raskin, Samuelides, Van Begin (2003) (1 citation) (Correct)
A Comparison of Control Problems for Timed and Hybrid Systems - Cassez, Henzinger, Raskin (2002) (2 citations) (Correct)
Verifying Untimed and Timed Aspects of the Experimental.. - Huuck, Lukoschus, al. (2001) (Correct)
Timed Interfaces - de Alfaro, Henzinger, Stoelinga (2002) (1 citation) (Correct)
The Supervisory Control Problem for . . . - Marchand (Correct)
The Supervisory Control Problem for . . . - Marchand (Correct)
The Element of Surprise in Timed Games - de Alfaro, Faella, Henzinger.. (Correct)
Optimal Strategies in Priced Timed Game Automata - Bouyer, Cassez, Fleury, Larsen (2004) (1 citation) (Correct)
Counterexample-guided Control - Henzinger, Jhala, Majumdar (2003) (2 citations) (Correct)
Appears in Proc. 2002 Hybrid Systems: Computation and.. - March Exploiting.. (Correct)
Towards a Geometric Theory of Hybrid Systems - Simic, Johansson, Lygeros, Sastry (2000) (3 citations) (Correct)
Optimal-Reachability and Control for Acyclic Weighted.. - Torre, Mukhopadhyay.. (2002) (3 citations) (Correct)
Computational Tools for the Verification of Hybrid.. - Tomlin, Boyd, Mitchell, .. (Correct)
Scheduling with Timed Automata - Abdeddaim, Maler (2003) Self-citation (Maler) (Correct)
Modelisation et Resolution de Problemes . . . - Maler (2002) Self-citation (Maler) (Correct)
On Control with Bounded Computational Resources - Maler, Krogh, Mahfoudh Self-citation (Maler) (Correct)
Modeling Real-Time Systems - Challenges and Work Directions - Sifakis (2001) (2 citations) Self-citation (Sifakis) (Correct)
Effective Synthesis of Switching Controllers for.. - Asarin, Bournez.. (2000) (12 citations) Self-citation (Maler Pnueli) (Correct)
A Methodology for the Construction of Scheduled Systems - Altisen, Gößler, Sifakis (2000) (10 citations) Self-citation (Sifakis) (Correct)
Job-Shop Scheduling using Timed Automata - Abdeddaim, Maler (2001) (3 citations) Self-citation (Maler) (Correct)
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