Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Modelling and Simulation,Control and Systems Engineering
Reference26 articles.
1. Altisen K, Tripakis S (2002) Tools for controller synthesis of timed systems. In: 2nd workshop on real-time tools (RT-TOOLS’2002)
2. Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183–235
3. Béchennec JL, Lime D, Roux OH (2019) Control of DES with urgency, avoidability and ineluctability. In: 19th international conference on application of concurrency to system design (ACSD’19)
4. Béchennec JL, Roux OH, Lime D (2019) Contrôle des SED avec urgence, évitabilité et inéluctabilité. In: Modélisation des Systèmes Réactifs (MSR’19), Modélisation des Systèmes Réactifs (MSR’19). Angers, France. https://hal.archives-ouvertes.fr/hal-02415319
5. Behrmann G, Cougnard A, David A, Fleury E, Larsen KG, Lime D (2007) Uppaal-tiga: Time for playing games!. In: Computer aided verification. Springer, pp 121–125
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Turn-Based Approach for Qualitative Time Concurrent Games;Application and Theory of Petri Nets and Concurrency;2021