{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:16:12Z","timestamp":1762521372499},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2010,8,3]],"date-time":"2010-08-03T00:00:00Z","timestamp":1280793600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[2010,10]]},"DOI":"10.1007\/s11241-010-9103-8","type":"journal-article","created":{"date-parts":[[2010,8,2]],"date-time":"2010-08-02T21:33:35Z","timestamp":1280784815000},"page":"189-250","source":"Crossref","is-referenced-by-count":7,"title":["SetExp: a method of transformation of timed automata into finite state automata"],"prefix":"10.1007","volume":"46","author":[{"given":"Lucien","family":"Ouedraogo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed","family":"Khoumsi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mustapha","family":"Nourelfath","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,8,3]]},"reference":[{"key":"9103_CR1","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1007\/3-540-48683-6_3","volume-title":"11th international conference on computer aided verification","author":"R Alur","year":"1999","unstructured":"Alur R (1999) Timed automata. In: 11th international conference on computer aided verification. Lecture notes in computer science, vol 1633. Springer, Berlin, pp 8\u201322"},{"key":"9103_CR2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur R, Dill D (1994) A theory of timed automata. Theor Comput Sci 126, 183\u2013235","journal-title":"Theor Comput Sci"},{"key":"9103_CR3","series-title":"LNCS","first-page":"74","volume-title":"Real-time: theory in practice REX workshop proceedings","author":"R Alur","year":"1991","unstructured":"Alur R, Henzinger TA (1991) Logic and models of real time: a survey. In: de Bakker JW, Huizing C, de\u00a0Rover\u00a0W-P, Rozenberg G (eds) Real-time: theory in practice REX workshop proceedings. LNCS, vol\u00a0600. Springer, Berlin, pp\u00a074\u2013106"},{"key":"9103_CR4","doi-asserted-by":"crossref","unstructured":"Alur R, Courcoubetis C, Halbwachs N, Dill D, Wong-Toi H (1992) Minimization of timed transitions systems. In: CONCUR, pp 340\u2013354","DOI":"10.1007\/BFb0084802"},{"key":"9103_CR5","doi-asserted-by":"crossref","unstructured":"Asarin E, Maler O, Pnueli A, Sifakis J (1998) Controller synthesis for timed automata. In: IFAC symposium on system structure and control, pp 469\u2013474","DOI":"10.1016\/S1474-6670(17)42032-5"},{"key":"9103_CR6","doi-asserted-by":"crossref","unstructured":"Behrmann G, Bouyer P, Larsen KG, Pel\u00e1nek R (2004a) Lower and upper bounds in zone based abstractions of timed automata. In: TACAS, pp 312\u2013326","DOI":"10.1007\/978-3-540-24730-2_25"},{"key":"9103_CR7","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Proc formal methods for the design of real-time systems (SFM-RT 2004)","author":"G Behrmann","year":"2004","unstructured":"Behrmann G, David R, Larsen KG (2004b) A tutorial on uppaal. In: Proc formal methods for the design of real-time systems (SFM-RT 2004). Lecture notes in computer science, vol 3185. Springer, Berlin, pp 200\u2013236"},{"key":"9103_CR8","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/978-3-540-27755-2_3","volume-title":"Lectures notes on concurrency and Petri nets","author":"J Bengtsson","year":"2004","unstructured":"Bengtsson J, Yi W (2004) Timed automata: semantics, algorithms and tools. In: Reisig W, Rozenberg G (eds) Lectures notes on concurrency and Petri nets. LNCS, vol\u00a03098. Springer, Berlin, pp 87\u2013124"},{"issue":"2","key":"9103_CR9","doi-asserted-by":"crossref","first-page":"145","DOI":"10.3233\/FI-1998-36233","volume":"36","author":"B B\u00e9rard","year":"1998","unstructured":"B\u00e9rard B, Diekert V, Gastin P, Petit A (1998) Characterization of the expressive power of silent transitions in timed automata. Fundam Inform 36(2), 145\u2013182","journal-title":"Fundam Inform"},{"issue":"2","key":"9103_CR10","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1109\/9.272327","volume":"39","author":"BA Brandin","year":"1994","unstructured":"Brandin BA, Wonham WM (1994) Supervisory control of timed discrete-event systems. IEEE Trans Autom Control 39(2), 329\u2013342","journal-title":"IEEE Trans Autom Control"},{"key":"9103_CR11","volume-title":"Theory of finite automata","author":"J Carroll","year":"1989","unstructured":"Carroll J, Long JD (1989) Theory of finite automata. Prentice-Hall, New York"},{"key":"9103_CR12","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1109\/REAL.1996.563702","volume-title":"Proceedings, 17th IEEE real-time systems symposium","author":"C Daws","year":"1996","unstructured":"Daws C, Yovine S (1996) Reducing the number of clock variables of timed automata. In: Proceedings, 17th IEEE real-time systems symposium. IEEE Computer Society Press, Los Alamitos, pp 73\u201381"},{"key":"9103_CR13","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/3-540-52148-8_17","volume-title":"Proc automatic verification methods for finite state systems","author":"D Dill","year":"1990","unstructured":"Dill D (1990) Timing assumptions and verification of finite-state concurrent systems. In: Sifakis J (ed) Proc automatic verification methods for finite state systems. LNCS, vol 407. Springer, Berlin, pp 197\u2013212"},{"key":"9103_CR14","unstructured":"El Ghazouani K, Nourelfath M, En-Nouaary A, Dssouli R (2002) Diagnostic de fautes de transfert simples dans les syst\u00e8mes temps r\u00e9el mod\u00e9lis\u00e9s par des automates entr\u00ede-sortie temporis\u00e9s. In: Colloque Francophone sur l\u2019ing\u00ednierie des protocoles (CFIP\u201902), Hermes-Lavoisier, May 2002, pp 195\u2013208"},{"key":"9103_CR15","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s11219-007-9021-8","volume":"16","author":"A En-Nouaary","year":"2007","unstructured":"En-Nouaary A (2007) A scalable method for testing real-time systems. Int J Softw Qual 16, 3\u201322","journal-title":"Int J Softw Qual"},{"key":"9103_CR16","doi-asserted-by":"crossref","unstructured":"En-Nouaary A, Dssouli R, Khendek F, Elqortobi A (1998) Timed test cases generation based on state characterization technique. In: IEEE real-time systems symposium, December 1998, p 220","DOI":"10.1109\/REAL.1998.739748"},{"issue":"11","key":"9103_CR17","doi-asserted-by":"crossref","first-page":"1023","DOI":"10.1109\/TSE.2002.1049402","volume":"28","author":"A En-Nouaary","year":"2002","unstructured":"En-Nouaary A, Dssouli R, Khendek F (2002) Timed wp-method: Testing real-time systems. IEEE Trans Softw Eng 28(11), 1023\u20131038","journal-title":"IEEE Trans Softw Eng"},{"issue":"2","key":"9103_CR18","first-page":"193","volume":"111","author":"TA Henzinger","year":"1994","unstructured":"Henzinger TA, Nicollin X, Sifakis J, Yovine S (1994) Symbolic model checking for real-time systems. J\u00a0Inf Comput 111(2), 193\u2013244","journal-title":"J\u00a0Inf Comput"},{"issue":"5","key":"9103_CR19","doi-asserted-by":"crossref","first-page":"520","DOI":"10.1080\/0020717031000088210","volume":"76","author":"T-J Ho","year":"2003","unstructured":"Ho T-J (2003) A method for the modular synthesis of controllers for timed discrete-event systems. Int J Control 76(5), 520\u2013535","journal-title":"Int J Control"},{"key":"9103_CR20","volume-title":"Introduction to automata theory, language and computation","author":"JE Hopcroft","year":"1979","unstructured":"Hopcroft JE, Ullman JD (1979) Introduction to automata theory, language and computation. Addison-Wesley, Reading"},{"key":"9103_CR21","doi-asserted-by":"crossref","unstructured":"Kang I, Lee I (1994) State minimization for concurrent system analysis based on state space exploration. In: Proceedings of conference on computer assurance, pp 123\u2013134","DOI":"10.1109\/CMPASS.1994.318461"},{"key":"9103_CR22","doi-asserted-by":"crossref","unstructured":"Kang I, Lee I (1996) An efficient state space generation for analysis of real-time systems. In: Proceedings of international symposium on software testing and analysis (ISSTA\u201996), pp 4\u201313","DOI":"10.1145\/229000.226297"},{"key":"9103_CR23","first-page":"331","volume-title":"IEEE international symposium on formal techniques in real-time and fault-tolerent systems (FTRTFT)","author":"A Khoumsi","year":"2002","unstructured":"Khoumsi A (2002) A method for testing the conformance of real-time systems. In: IEEE international symposium on formal techniques in real-time and fault-tolerent systems (FTRTFT), Oldenburg, Germany, September 2002. Springer, Berlin, pp 331\u2013354"},{"key":"9103_CR24","doi-asserted-by":"crossref","unstructured":"Khoumsi A (2004) Complete test graph generation for symbolic real-time systems. In: Proc Brazilian symposium on formal methods (SBMF 2004). Electronic notes in theoretical computer science, vol 130, Recife, Brazil, November 2004, pp 79\u2013100. http:\/\/www.gel.usherbrooke.ca\/khoumsi\/Research\/Public\/SBMF04-Test.pdf","DOI":"10.1016\/j.entcs.2005.03.006"},{"issue":"4","key":"9103_CR25","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/s10626-005-4059-x","volume":"15","author":"A Khoumsi","year":"2005","unstructured":"Khoumsi A (2005) A supervisory control method for ensuring the conformance of real-time discrete event systems. J Discrete Event Dyn Syst 15(4), 397\u2013431","journal-title":"J Discrete Event Dyn Syst"},{"key":"9103_CR26","unstructured":"Khoumsi A, Ouedraogo L (2004) A new method for transforming timed automata. In: Proc Brazilian symposium on formal methods (SBMF 04). Electronic notes in theoretical computer science, vol 130. Recife, Brazil, November 2004, pp 101\u2013128"},{"key":"9103_CR27","doi-asserted-by":"crossref","unstructured":"Khoumsi A, Ouedraogo L (2009) Diagnosis of faults in real-time discrete event systems. In: IFAC symposium on fault detection, supervision and safety of technical processes (SafeProcess), July 2009","DOI":"10.3182\/20090630-4-ES-2003.00254"},{"key":"9103_CR28","unstructured":"Khoumsi A, Ouedraogo L, Nourelfath M (2005) Supervisory control of real-time discrete event systems modeled by timed automata with invariants. In: IASTED international conference on intelligent systems and control (ISC), Cambridge, MA, USA, October 2005"},{"key":"9103_CR29","doi-asserted-by":"crossref","unstructured":"Larsen KG, Pettersson P, Yi Y (1997) Uppaal: status & developments. In: Proceedings of the 9th international conference on computer aided-verification, Haifa, Israel, June 1997, pp 456\u2013459","DOI":"10.1007\/3-540-63166-6_47"},{"issue":"2","key":"9103_CR30","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1006\/inco.1997.2623","volume":"134","author":"KG Larsen","year":"1997","unstructured":"Larsen KG, Yi W (1997) Time abstracted bisimulation: implicit specifications and decidability. Inf Comput 134(2), 75\u2013101","journal-title":"Inf Comput"},{"issue":"5","key":"9103_CR31","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1016\/j.matcom.2005.11.009","volume":"70","author":"M Nourelfath","year":"2006","unstructured":"Nourelfath M, Khoumsi A (2006) Grid automata and supervisory control of dense real-time discrete event systems. Math Comput Simul 70(5), 408\u2013418","journal-title":"Math Comput Simul"},{"issue":"2","key":"9103_CR32","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1109\/71.80145","volume":"1","author":"JS Ostroff","year":"1990","unstructured":"Ostroff JS (1990) Deciding properties of timed transition models. IEEE Trans Parallel Distrib Syst 1(2), 170\u2013183","journal-title":"IEEE Trans Parallel Distrib Syst"},{"issue":"4","key":"9103_CR33","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1109\/9.52290","volume":"35","author":"JS Ostroff","year":"1990","unstructured":"Ostroff JS, Wonham WM (1990) A framework for real-time discrete event control. IEEE Trans Autom Control 35(4), 386\u2013397","journal-title":"IEEE Trans Autom Control"},{"key":"9103_CR34","unstructured":"Ouedraogo L, Khoumsi A, Nourelfath M (2006a) M\u00e9thode de transformation d\u2019automates temporis\u00e9s avec invariants de localit\u00e9s. In: Conf\u00e9rence francophone de mod\u00e9lisation et simulation (MOSIM), Rabat, Morroco, April 2006"},{"key":"9103_CR35","doi-asserted-by":"crossref","unstructured":"Ouedraogo L, Nourelfath M, Khoumsi A (2006b) A new method for centralized and modular supervisory control of real-time discrete event systems. In: IEEE international workshop on discrete event systems (WODES), Ann Arbor, MI, USA, July 2006, pp 168\u2013175","DOI":"10.1109\/WODES.2006.1678426"},{"issue":"1","key":"9103_CR36","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/00207170903062174","volume":"83","author":"L Ouedraogo","year":"2010","unstructured":"Ouedraogo L, Khoumsi A, Nourelfath M (2010) A new method for centralized and modular supervisory control of real-time discrete event systems. Int J Control 83(1), 1\u201339","journal-title":"Int J Control"},{"issue":"12","key":"9103_CR37","doi-asserted-by":"crossref","first-page":"2035","DOI":"10.1016\/j.automatica.2003.07.003","volume":"39","author":"GJ Pappas","year":"2003","unstructured":"Pappas GJ (2003) Bisimilar linear systems. Automatica 39(12), 2035\u20132047","journal-title":"Automatica"},{"issue":"1","key":"9103_CR38","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"PJ Ramadge","year":"1987","unstructured":"Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25(1), 206\u2013230","journal-title":"SIAM J Control Optim"},{"key":"9103_CR39","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"PJ Ramadge","year":"1989","unstructured":"Ramadge PJ, Wonham WM (1989) The control of discrete event systems. Proc IEEE 77, 81\u201398","journal-title":"Proc IEEE"},{"issue":"9","key":"9103_CR40","doi-asserted-by":"crossref","first-page":"1555","DOI":"10.1109\/9.412626","volume":"40","author":"M Sampath","year":"1995","unstructured":"Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1995) Diagnosability of discrete-event systems. IEEE Trans Autom Control 40(9), 1555\u20131575","journal-title":"IEEE Trans Autom Control"},{"issue":"2","key":"9103_CR41","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1109\/87.486338","volume":"4","author":"M Sampath","year":"1996","unstructured":"Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1996) Failure diagnosis using discrete-event model. IEEE Trans Control Syst Technol 4(2), 105\u2013124","journal-title":"IEEE Trans Control Syst Technol"},{"key":"9103_CR42","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/S0304-3975(99)00134-6","volume":"254","author":"J Springintveld","year":"2001","unstructured":"Springintveld J, Vaadranger F, Dargenio P (2001) Testing timed automata. Theor Comput Sci 254, 225\u2013257","journal-title":"Theor Comput Sci"},{"issue":"3","key":"9103_CR43","first-page":"103","volume":"17","author":"J Tretmans","year":"1996","unstructured":"Tretmans J (1996) Test generation with inputs, outputs and repetitive quiescence. Softw Concepts Tools 17(3):103\u2013120","journal-title":"Softw Concepts Tools"},{"issue":"1","key":"9103_CR44","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1023\/A:1008734703554","volume":"18","author":"S Tripakis","year":"2001","unstructured":"Tripakis S, Yovine S (2001) Analysis of timed systems using time-abstraction bisimulations. Form Methods Syst Des 18(1), 25\u201368","journal-title":"Form Methods Syst Des"},{"key":"9103_CR45","doi-asserted-by":"crossref","unstructured":"Wong-Toi H, Hoffmann G (1991) The control of dense real-time discrete event systems. In: Proc of 30th IEEE conference on decision and control. Brighton, England, pp\u00a01527\u20131528","DOI":"10.1109\/CDC.1991.261658"},{"issue":"3","key":"9103_CR46","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/0098-1354(90)87067-Y","volume":"14","author":"EC Yamalidou","year":"1990","unstructured":"Yamalidou EC, Patsidou EP, Kantor JC (1990) Modelling discrete-event dynamical systems for chemical process control\u2014a survey of several new techniques. Comput Chem Eng 14(3), 281\u2013299","journal-title":"Comput Chem Eng"},{"key":"9103_CR47","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1007\/3-540-56922-7_18","volume-title":"Proceedings, fifth international conference on computer aided verification","author":"M Yannakakis","year":"1993","unstructured":"Yannakakis M, Lee D (1993) An efficient algorithm for minimizing real-time transition systems. In: Proceedings, fifth international conference on computer aided verification. LNCS, vol 697. Springer, Berlin, pp 210\u2013224"},{"issue":"1\u20132","key":"9103_CR48","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/s100090050009","volume":"1","author":"S Yovine","year":"1997","unstructured":"Yovine S (1997) Kronos: a verification tool for real-time systems. Int J Softw Tools Technol Transf 1(1\u20132), 123\u2013133","journal-title":"Int J Softw Tools Technol Transf"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-010-9103-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-010-9103-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-010-9103-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,9]],"date-time":"2020-06-09T22:16:44Z","timestamp":1591741004000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-010-9103-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,8,3]]},"references-count":48,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,10]]}},"alternative-id":["9103"],"URL":"https:\/\/doi.org\/10.1007\/s11241-010-9103-8","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,8,3]]}}}