Author:
Lime Didier,Martinez Claude,Roux Olivier H.
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Modeling and Simulation,Control and Systems Engineering
Reference38 articles.
1. Achour Z, Rezg N (2007) Time floating general mutual exclusion constraints. J Stud Inf Control 16(1):57–66
2. Alur R, Henzinger TA, Vardi MY (1993) Parametric real-time reasoning. In: ACM symposium on theory of computing, pp 592–601
3. Amari S, Demongodin I, Loiseau J (2005) Méthode formelle de commande sous contraintes de temps dans les dioides. Journal Européen des Systèmes Automatisés (Numéro spécial sur la Modélisation des Systèmes Réactifs, (MSR’05)) 39(1–3):319–334
4. André E, Chatain T, Encrenaz E, Fribourg L (2009) An inverse method for parametric timed automata. Int J Found Comput Sci 20(5):819–836
5. Atto AM, Martinez C, Amari S (2011) Control of discrete event systems with respect to strict duration: supervision of an industrial manufacturing plant. Comput Inf Syst 61(4):1149–1159. doi: 10.1016/j.cie.2011.07.004
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献