A new method for transforming timed automata

Electronic Notes in Theoretical Computer Science

Volumn 130, Issue , 2005, Pages 101-128

  Khoumsi, Ahmed ^a   Ouedraogo, Lucien ^a  

^a UNIVERSITÉ DE SHERBROOKE   (Canada)

Author keywords

Set Exp Automata; Timed Automata; Transformation

Indexed keywords

COMPUTER NETWORKS; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; NETWORK PROTOCOLS; REAL TIME SYSTEMS; SET THEORY; THEOREM PROVING;

DISCRETE EVENTS SYSTEMS (DES); FINITE STATE AUTOMATON (FSA); SET-EXP-AUTOMATA; TIMED AUTOMATA (TA);

AUTOMATA THEORY;

EID: 18144387302     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.03.007     Document Type: Conference Paper

References (15)

1. Alur, R., Timed automata, in: Proc. 11th Intern. Conf. on Comp. Aided Verif. (CAV) (1999), pp. 8-22
2. Alur, R., C. Courcoubetis and D. Dill, Model checking for real-time systems, in: Proc. IEEE Sympos. on Logic in Computer Science, 1990
3. Alur, R., C. Courcoubetis, N. Halbwachs, D. Dill and H. Wong-Toi, Minimization of timed transitions systems, in: CONCUR (1992), pp. 340-354
4. R. Alur, and D. Dill A theory of timed automata Theoretical Computer Science 126 1994 183 235
5. Kang, I. and I. Lee, State minimization for concurrent system analysis based on state space exploration, in: Proc. Conf. On Computer Assurance, 1994, pp. 123-134
6. I. Kang, and I. Lee An efficient state space generation for analysis of real-time systems Proc. Intern. Sympos. on Soft. Testing and Analysis (ISSTA'96) 1996
7. Khoumsi, A., A method for testing the conformance of real time systems, in: Proc. 7th Intern. Sympos. on Formal Techn. in Real-Time and Fault Toler. Systems (FTRTFT), Oldenburg, Germany, 2002, http://www.gel.usherb.ca/khoumsi/Research/Public/FTRTFT02.ps
8. Khoumsi, A., Supervisory control of dense real-time discrete-event systems with partial observation, in: Proc. 6th Intern. Workshop on Discrete Event Systems (WODES), Zaragoza, Spain, 2002, http://www.gel.usherb.ca/khoumsi/Research/Public/WODES02.ps
9. Khoumsi, A., Supervisory control for the conformance of real-time discrete-event systems, in: Proc. 7th Intern. Workshop on Discrete Event Systems (WODES), Reims, France, 2004, http://www.gel.usherb.ca/khoumsi/Research/Public/WODES04.ps
10. A. Khoumsi, T. Jéron, and H. Marchand Test cases generation for nondeterministic real-time systems Proc. Formal Approaches to TEsting of Software (FATES) LNCS 2931 2003 http://www.gel.usherb.ca/khoumsi/Research/Public/FATES03.ps
11. Khoumsi, A. and M. Nourelfath, An efficient method for the supervisory control of dense real-time discrete event systems, in: Proc. 8th Intern. Conf. on Real-Time Computing Systems (RTCSA), Tokyo, Japan, 2002, http://www.gel.usherb.ca/khoumsi/Research/Public/RTCSA02-Cont.ps
12. P. Ramadge, and W. Wonham The control of discrete event systems Proc. IEEE 77 1989 81 98
13. J. Tretmans Test generation with inputs, outputs and repetitive quiescence Software-Concepts and Tools 17 1996
14. Tripakis, S. and S. Yovine, Analysis of timed systems based on time-abstracting bisimulations, in: Proc. 8th Intern. Conf. on Comp. Aided Verif. (CAV) (1995), pp. 229-242
15. Yannakakis, M. and D. Lee, An efficient algorithm for minimizing real-time transition systems, in: Proc. 5th Conf. on Comp. Aided Verif. (CAV) (1993), pp. 210-224