Author:
Li Jun,Lefebvre Dimitri,Hadjicostis Christoforos N.,Li Zhiwu
Funder
Agence nationale de la recherche
National Key Research and Development Program of China Stem Cell and Translational Research
National Natural Science Foundation of China
Reference53 articles.
1. Scheduling with timed automata;Abdeddaïm;Theoretical Computer Science,2006
2. A theory of timed automata;Alur;Theoretical Computer Science,1994
3. A determinizable class of timed automata;Alur,1999
4. Decision problems for timed automata: a survey;Alur,2004
5. State estimation and fault diagnosis of labeled time Petri net systems with unobservable transitions;Basile;IEEE Transactions on Automatic Control,2015