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 Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
A Real-time Profile for UML and how to adapt it to SDL - Graf, Ober (2003) (1 citation) (Correct)
....a vocabulary. It is very much tailored towards timed scenarios, and for the moment, it exists essentially on paper. Timed automata [HNSY92] BST98b] have been used for modelling real time aspects of systems, for de ning semantics of modelling languages and for studying controller synthesis [MPS95,AMP95] and scheduling frameworks [BGS00] HHK01] A number of validation and analysis tools, such as Hytech [HHWT97] the tra c light presented in section 4 is an instance of this type of use Kronos IF [Yov97,BGGM00,BGM02] or Uppaal Time [LPY97,FPY02] exist for the framework of timed automata ....
O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In STACS'95, LNCS 900, 1995.
Scheduling with Timed Automata - Abdeddaim, Maler (2003) Self-citation (Maler) (Correct)
No context found.
O. Maler, A. Pnueli and J. Sifakis. On the Synthesis of Discrete Controllers for Timed Systems, Proc. STACS'95, 229-242, LNCS 900, Springer, 1995.
Modelisation et Resolution de Problemes . . . - Maler (2002) Self-citation (Maler) (Correct)
No context found.
O. Maler, A. Pnueli and J. Sifakis. On the Synthesis of Discrete Controllers for Timed Systems, Proc. STACS'95, 229-242, LNCS 900, Springer, 1995.
On Control with Bounded Computational Resources - Maler, Krogh, Mahfoudh Self-citation (Maler) (Correct)
....of G, that is, the maximal F G for which there exists an update strategy s : F . n, # such that all trajectories starting in F stay in F . To compute F and s we use a variant of the fixed point computation described in 00] This approach was first presented for timed automata [MPS95] where it is guaranteed to converge, and then adapted for hybrid automata [W97,TLS99,ABD 00] Definition 4 (Delayed Predecessors) Let H be a subset of X and let f be a vector field. The set # (f,d) H) d x H (1) consists of all points from which the system can reach H after ....
O. Maler, A. Pnueli and J. Sifakis. On the Synthesis of Discrete Controllers for Timed Systems, in E.W. Mayr and C. Puech (Eds), Proc. STACS'95, 229-242, LNCS 900, Springer, 1995.
Modeling Real-Time Systems - Challenges and Work Directions - Sifakis (2001) (2 citations) Self-citation (Sifakis) (Correct)
....in a control invariant subset of K, set of states from which the constraint K can be maintained in spite of disturbances of the environment and of internal actions of the tasks. The existence of a scheduler maintaining K depends on the existence of non empty control invariants contained in K [MPS95,AGP 99] Control invariants can be characterized as xpoints of monotonic functions (predicate transformers) representing the transition relation of the timed system to be scheduled. There exists a scheduler maintaining K i there exist non empty xpoints implying K. Computing such xpoints is ....
O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In E.W. Mayr and C. Puech, editors, STACS'95, volume 900 of LNCS, pages 229-242. Springer-Verlag, 1995.
Optimal-Reachability and Control for Acyclic Weighted.. - Torre, Mukhopadhyay.. (2002) (3 citations) (Correct)
No context found.
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.
Thomas A. Henzinger Ranjit Jhala Rupak Majumdar - Report No Ucb (Correct)
No context found.
O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In STACS 95: Theoretical Aspects of Computer Science, LNCS 900, pages 229-242. Springer-Verlag, 1995.
Timed Interfaces - de Alfaro, Henzinger, Stoelinga (2002) (1 citation) (Correct)
No context found.
O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In Theoretical Aspects of Computer Science, volume 900 of Lect. Notes in Comp. Sci., pages 229-242. Springer, 1995.
A Real-time Profile for UML and how to adapt it to SDL - Graf, Ober (2003) (1 citation) (Correct)
No context found.
O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In STACS'95, LNCS 900, 1995.
Synthesis of Optimal Strategies Using HYTECH - Bouyer, Cassez, Fleury, Larsen (2004) (1 citation) (Correct)
No context found.
O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In Proc. 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS'95), volume 900 of Lecture Notes in Computer Science, pages 229--242. Springer, 1995. 20 P. Bouyer et al.
Petri Games are Monotone but Difficult to Decide - Raskin, al. (2003) (Correct)
No context found.
O. Maler, A.Pnueli, and J.Sifakis. On the synthesis of discrete controllers for timed systems. In in Proc.of STACS'95, volume 900, pages 229--242. Springer Verlag, 1995.
Discrete-Time Control for Rectangular Hybrid Automata - Henzinger, Kopke (1997) (14 citations) (Correct)
No context found.
O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In Proceedings of STACS: Theoretical Aspects of Computer Science, Lecture Notes in Computer Science 900, pp. 229--242. Springer-Verlag, 1995.
Petri Games are Monotonic but Difficult to Decide - Raskin, Samuelides, Van Begin (2003) (1 citation) (Correct)
No context found.
O. Maler, A.Pnueli, and J.Sifakis. On the synthesis of discrete controllers for timed systems. In in Proc.of STACS'95, volume 900, pages 229--242. Springer Verlag, 1995.
A Comparison of Control Problems for Timed and Hybrid Systems - Cassez, Henzinger, Raskin (2002) (2 citations) (Correct)
No context found.
O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In STACS: Theoretical Aspects of Computer Science, LNCS 900, pp. 229--242. Springer, 1995.
Verifying Untimed and Timed Aspects of the Experimental.. - Huuck, Lukoschus, al. (2001) (Correct)
No context found.
O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In E.W. Mayr and C. Puech, editors, STACS 95: 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2--4, 1995.
Timed Interfaces - de Alfaro, Henzinger, Stoelinga (2002) (1 citation) (Correct)
No context found.
O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In Theoretical Aspects of Computer Science, volume 900 of Lect. Notes in Comp. Sci., pages 229--242. Springer, 1995.
The Supervisory Control Problem for . . . - Marchand (Correct)
No context found.
Oded Maler, Amir Pnueli, and Joseph Sifakis. On the synthesis of discrete controllers for timed systems (an extended abstract). In 12th Annual Symposium on Theoretical Aspects of Computer Science, volume 900 of lncs, pages 229--242, Munich, Germany, 2--4 March 1995. Springer.
The Supervisory Control Problem for . . . - Marchand (Correct)
No context found.
O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In E. W. Mayr and C. Puech, editors, Proceedings STACS'95, volume 900 of Lecture Notes in Computer Science, pages 229--242. Springer-Verlag, 1995.
The Element of Surprise in Timed Games - de Alfaro, Faella, Henzinger.. (Correct)
No context found.
O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In Theor. Aspects of Comp. Sci., Lect. Notes in Comp. Sci. 900, pages 229--242. Springer, 1995.
Optimal Strategies in Priced Timed Game Automata - Bouyer, Cassez, Fleury, Larsen (2004) (1 citation) (Correct)
No context found.
Oded Maler, Amir Pnueli, and Joseph Sifakis. On the synthesis of discrete controllers for timed systems. In Proc. 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS'95), volume 900, pages 229--242. Springer, 1995.
Counterexample-guided Control - Henzinger, Jhala, Majumdar (2003) (2 citations) (Correct)
No context found.
O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In STACS: Theoretical Aspects of Computer Science, LNCS 900, pages 229--242. Springer, 1995.
Appears in Proc. 2002 Hybrid Systems: Computation and.. - March Exploiting.. (Correct)
No context found.
Oded Maler, Amir Pneuli, and Joseph Sifakis. On the synthesis of discrete controllers for timed systems. In Ernst W. Mayr and Claude Puech, editors, STACS 95: Theoretical Aspects of Computer Science, pages 229--242. Springer Verlag, 1995.
Towards a Geometric Theory of Hybrid Systems - Simic, Johansson, Lygeros, Sastry (2000) (3 citations) (Correct)
No context found.
O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In Theoretical Aspects of Computer Science, number 900 in LNCS, pages 229--242. Springer Verlag, 1995.
Optimal-Reachability and Control for Acyclic Weighted.. - Torre, Mukhopadhyay.. (2002) (3 citations) (Correct)
No context found.
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.
Computational Tools for the Verification of Hybrid.. - Tomlin, Boyd, Mitchell, .. (Correct)
No context found.
O. Maler, A. Pnueli, and J. Sifakis, \On the synthesis of discrete controllers for timed systems," in STACS 95: Theoretical Aspects of Computer Science (E. W. Mayr and C. Puech, eds.), no. 900 in LNCS, pp. 229-242, Munich: Springer Verlag, 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