Symbolic determinisation of extended automata

IFIP International Federation for Information Processing

Volumn 209, Issue , 2006, Pages 197-212

  Jéron, Thierry ^a   Marchand, Hervé ^a   Rusu, Vlad ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION TECHNOLOGY;

DETERMINISATION; INFINITE STATE; INFINITE STATE SYSTEMS; SYMBOLIC AUTOMATA;

AUTOMATA THEORY;

EID: 33845636586     PISSN: 15715736     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-0-387-34735-6_18     Document Type: Article

References (12)

1. John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman. Introduction to Automata Theory, Languages and Computability. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2000.
2. Rajeev Alur and David L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183-235, 1994.
3. T. Jéron, H. Marchand, and V. Rusu. Symbolic determinisation of extended automata. Technical Report 1176, IRISA, February 2006.
4. Greg Nelson and Derek C. Oppen. Simplification by cooperating decision procedures. ACM Trans. Program. Lang. Syst, 1(2):245-257, 1979.
5. Vlad Rusu, Hervé Marchand, and Thierry Jéron. Automatic verification and conformance testing for validating safety properties of reactive systems. In Formal Methods 2005 (FM'05), volume 2805 of LNCS, pages 223-243, 2005.
6. Jan Tretmans. Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools, 17(3):103-120, 1996.
7. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Failure diagnosis using discrete event models. Proceedings of the IEEE Transactions on Automatic Control, 4(2): 105-124, 1996.
8. S. Jiang, Z. Huang, V. Chandra, and R. Kumar. A polynomial time algorithm for diagnosability of discrete event systems. IEEE Transactions on Automatic Control, 46(8);1318-1321, August 2001.
9. Elena Zinovieva. Méthodes symboliques pour la génération de tests de systèmes réactifs comportant des données. PhD thesis, Univ. of Rennes, Nov. 2004.
10. B. Jeannet, T. Jéron, V. Rusu, and E. Zinovieva. Symbolic test selection based on approximate analysis. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05), volume 3440 of LNCS, 2005.
11. T. Jéron and P. Morel. Test generation derived from model-checking. In Computer-Aided Verification (CAV'99), volume 1633 of LNCS, pages 108-122, 1999.
12. Moez Krichen and Stavros Tripakis. Black-box conformance testing for real-time systems. In SPIN'04, volume 2989 of LNCS, pages 109-126, 2004.