| 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. |
....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.
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.
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.
....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.
....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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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