CONTROLLER SYNTHESIS FOR TIMED AUTOMATA

by Eugene Asarin , Oded Maler , Amir Pnueli , Joseph Sifakis
Citations:123 - 14 self

Active Bibliography

Authors – Thao Dang, Alexandre Donze, Oded Maler, Dejan Nickovic, Amir Pnueli - 2007
190 On the Synthesis of Discrete Controllers for Timed Systems – Oded Maler, Amir Pnueli, Joseph Sifakis - 1995
2 On Synthesizing Controllers from Bounded-Response Properties – Oded Maler, Dejan Nickovic, Amir Pnueli
5 Formal synthesis and control of soft embedded real-time systems – Pao-ann Hsiung
78 Effective Synthesis of Switching Controllers for Linear Systems – Eugene Asarin, Olivier Bournez, Thao Dang, Oded Maler, Amir Pnueli - 2000
22 Computational Techniques for the Verification and Control of Hybrid Systems – Claire J. Tomlin, Ian Mitchell, Alexandre M. Bayen, Meeko Oishi - 2003
89 A game theoretic approach to controller design for hybrid systems – Claire J. Tomlin, John Lygeros, S. Shankar Sastry - 2000
33 Synthesizing Controllers for Nonlinear Hybrid Systems – Claire Tomlin, John Lygeros, Shankar Sastry - 1998
117 Controllers for Reachability Specifications for Hybrid Systems – John Lygeros, Claire Tomlin, Shankar Sastry - 1999
34 Timed Control with Partial Observability – Patricia Bouyer, P. Madhusudan, Antoine Petit - 2003
30 Rectangular Hybrid Games – Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar - 1999
41 Job-Shop Scheduling using Timed Automata – Yasmina Abdeddaim, Oded Maler - 2001
Non-Blocking Supervisory Control for Initialised Rectangular Automata – Michael P. Spathopoulos
Timed Control With Partial Observability – A. Petit, D. D'Souza, P. Bouyer, P. Madhusudan, P. Madhusudan, Antoine Petit - 2002
83 Optimal Paths in Weighted Timed Automata – Rajeev Alur, Salvatore La Torre, George J. Pappas - 2001
39 A Comparison of Control Problems for Timed and Hybrid Systems – Franck Cassez, Thomas A. Henzinger, Jean-Fran├žois Raskin - 2002
21 On-The-Fly Controller Synthesis for Discrete and Dense-Time Systems – Stavros Tripakis, Karine Altisen - 1999
448 Alternating-time Temporal Logic – Rajeev Alur, Thomas Henzinger, Orna Kupferman - 1997
69 Modularity for Timed and Hybrid Systems – Rajeev Alur , Thomas A. Henzinger - 1997