{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:25:05Z","timestamp":1740122705758,"version":"3.37.3"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,4,5]],"date-time":"2017-04-05T00:00:00Z","timestamp":1491350400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100000038","name":"NSERC","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"crossref"}]},{"name":"NECSIS"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1007\/s10626-017-0240-2","type":"journal-article","created":{"date-parts":[[2017,4,5]],"date-time":"2017-04-05T13:40:43Z","timestamp":1491399643000},"page":"407-441","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Controller synthesis for dynamic hierarchical real-time plants using timed automata"],"prefix":"10.1007","volume":"27","author":[{"given":"Md Tawhid Bin","family":"Waez","sequence":"first","affiliation":[]},{"given":"Andrzej","family":"W\u0105sowski","sequence":"additional","affiliation":[]},{"given":"Juergen","family":"Dingel","sequence":"additional","affiliation":[]},{"given":"Karen","family":"Rudie","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,4,5]]},"reference":[{"key":"240_CR1","first-page":"108","volume-title":"Proceedings of the second international conference on embedded software. EMSOFT \u201902","author":"LD Alfaro","year":"2002","unstructured":"Alfaro LD, Henzinger TA, Stoelinga M (2002) Timed interfaces. In: Proceedings of the second international conference on embedded software. EMSOFT \u201902. Springer, London, pp 108\u2013122"},{"key":"240_CR2","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1007\/BFb0032042","volume-title":"Proceedings of the seventeenth international colloquium on automata, languages and programming","author":"R Alur","year":"1990","unstructured":"Alur R, Dill DL (1990) Automata for modeling real-time systems. In: Proceedings of the seventeenth international colloquium on automata, languages and programming. Springer-Verlag New York, Inc, NY, USA, pp 322\u2013335"},{"key":"240_CR3","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 DL (1994) A theory of timed automata. Theor Comput Sci 126:183\u2013235","journal-title":"Theor Comput Sci"},{"key":"240_CR4","unstructured":"Alur R, Dill DL (1996) Automata-theoretic verification of real-time systems. In: Formal methods for real-time computing. trends in software series. John Wiley & Sons Publishers, pp 55\u201382"},{"key":"240_CR5","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/3-540-45351-2_8","volume-title":"Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control. HSCC \u201901","author":"R Alur","year":"2001","unstructured":"Alur R, Torre SL, Pappas GJ (2001) Optimal paths in weighted timed automata Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control. HSCC \u201901. Springer, London, pp 49\u201362"},{"key":"240_CR6","doi-asserted-by":"crossref","unstructured":"Asarin E, Maler O, Pnueli A, Sifakis J (1998) Controller synthesis for timed automata. In: Proceedings of the 5th IFAC Conference on System Structure and Control (SSC\u201998). Elsevier Science, pp 469\u2013 474","DOI":"10.1016\/S1474-6670(17)42032-5"},{"key":"240_CR7","doi-asserted-by":"crossref","unstructured":"Barakat K, Kowalewski S, Noll T (2012) A native approach to modeling timed behavior in the Pi-calculus. In: 6th international symposium on theoretical aspects of software engineering, pp 253\u2013 256","DOI":"10.1109\/TASE.2012.27"},{"key":"240_CR8","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/s00236-003-0135-6","volume":"40","author":"R Barbuti","year":"2004","unstructured":"Barbuti R, Tesei L (2004) Timed automata with urgent transitions. Acta Informatica 40:317\u2013347","journal-title":"Acta Informatica"},{"key":"240_CR9","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/3-540-45351-2_15","volume-title":"Proceedings of the 4th international workshop on hybrid systems: computation and control. HSCC \u201901","author":"G Behrmann","year":"2001","unstructured":"Behrmann G, Fehnker A, Hune T, Larsen KG, Pettersson P, Romijn J, Vaandrager FW (2001) Minimum-cost reachability for priced timed automata Proceedings of the 4th international workshop on hybrid systems: computation and control. HSCC \u201901. Springer, London, pp 147\u2013161"},{"key":"240_CR10","first-page":"121","volume-title":"Computer Aided Verification. Volume 4590 of Lecture Notes in Computer Science","author":"G Behrmann","year":"2007","unstructured":"Behrmann G, Cougnard A, David A, Fleury E, Larsen KG, Didier L (2007) UPPAAL-Tiga: Time for playing games! In: Damm W., Hermanns H. (eds) Computer Aided Verification. Volume 4590 of Lecture Notes in Computer Science. Springer, Berlin, pp 121\u2013125"},{"key":"240_CR11","doi-asserted-by":"crossref","unstructured":"Bornot S, Sifakis J, Tripakis S (1998) Modeling urgency in timed systems. In: de Roever W.P., Langmaack H., Pnueli A. (eds) Compositionality: the significant difference. Volume 1536 of lecture notes in computer science. Springer, Berlin, pp 103\u2013129","DOI":"10.1007\/3-540-49213-5_5"},{"key":"240_CR12","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/978-3-642-40213-5_8","volume-title":"Fundamentals of Software Engineering. Lecture Notes in Computer Science","author":"A Boudjadar","year":"2013","unstructured":"Boudjadar A, Vaandrager F, Bodeveix JP, Filali M (2013) Extending UPPAAL for the modeling and verification of dynamic real-time systems. In: Arbab F, Sirjani M (eds) Fundamentals of Software Engineering. Lecture Notes in Computer Science. Springer, Berlin, pp 111\u2013132"},{"key":"240_CR13","first-page":"825","volume-title":"Automata, Languages and Programming. Volume 4596 of Lecture Notes in Computer Science","author":"T Brihaye","year":"2007","unstructured":"Brihaye T, Henzinger TA, Prabhu VS, Raskin JF (2007) Minimum-time reachability in timed games. In: Arge L, Cachin C, Jurdzi\u0144ski T, Tarlecki A (eds) Automata, Languages and Programming. Volume 4596 of Lecture Notes in Computer Science. Springer, Berlin, pp 825\u2013837"},{"key":"240_CR14","doi-asserted-by":"crossref","unstructured":"Campana S, Spalazzi L, Spegni F (2010) Dynamic networks of timed automata for collaborative systems: A network monitoring case study. In: 2010 international symposium on collaborative technologies and systems, pp 113\u2013122","DOI":"10.1109\/CTS.2010.5478517"},{"key":"240_CR15","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1109\/ACSD.2011.15","volume-title":"Proceedings of the 2011 Eleventh International Conference on Application of Concurrency to System Design. ACSD\u201911","author":"F Cassez","year":"2011","unstructured":"Cassez F (2011) Timed games for computing WCET for pipelined processors with caches. In: Proceedings of the 2011 Eleventh International Conference on Application of Concurrency to System Design. ACSD\u201911. IEEE Computer Society, Washington, pp 195\u2013204"},{"key":"240_CR16","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1145\/1755952.1755967","volume-title":"Proceedings of the 13th ACM international conference on hybrid systems: computation and control. HSCC \u201910","author":"A David","year":"2010","unstructured":"David A, Larsen KG, Legay A, Nyman U, W\u0105sowski A (2010) Timed I\/O automata: a complete specification theory for real-time systems Proceedings of the 13th ACM international conference on hybrid systems: computation and control. HSCC \u201910. ACM, New York, pp 91\u2013100"},{"key":"240_CR17","unstructured":"David A, Grunnet JD, Jessen JJ, Larsen KG, Rasmussen JI (2012) Application of model-checking technology to controller synthesis. In: Aichernig BK, de Boer FS, Bonsangue MM (eds) Formal Methods for Components and Objects. Volume 6957 of Lecture Notes in Computer Science. Springer, Berlin, pp 336\u2013351"},{"key":"240_CR18","volume-title":"Proceedings of the 13th international workshop on automated verification of critical systems. Volume 10 of electronic communications of the EASST","author":"A David","year":"2013","unstructured":"David A, Larsen KG, Legay A, Poulsen DB (2013) Statistical model checking of dynamic networks of stochastic hybrid automata. In: Schneider S, Treharne H (eds) Proceedings of the 13th international workshop on automated verification of critical systems. Volume 10 of electronic communications of the EASST. EASST, Guildford"},{"key":"240_CR19","unstructured":"de Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M (2003) The element of surprise in timed games CONCUR. Volume 2761 of Lecture Notes in Computer Science. Springer, Berlin, pp 144\u2013 158"},{"key":"240_CR20","first-page":"649","volume-title":"Computer aided verification. Volume 6806 of lecture notes in computer science","author":"R Ehlers","year":"2011","unstructured":"Ehlers R, Mattm\u00fcller R, Peter HJ (2011) Synthia: verification and synthesis for timed automata. In: Gopalakrishnan G, Qadeer S (eds) Computer aided verification. Volume 6806 of lecture notes in computer science. Springer, Berlin, pp 649\u2013655"},{"key":"240_CR21","doi-asserted-by":"crossref","first-page":"1149","DOI":"10.1016\/j.ic.2007.01.009","volume":"205","author":"E Fersman","year":"2007","unstructured":"Fersman E, Kr\u010d\u00e1l P, Pettersson P, Yi W (2007) Task automata: Schedulability, decidability and undecidability. Int J Inf Comput 205:1149\u20131172","journal-title":"Int J Inf Comput"},{"key":"240_CR22","unstructured":"G\u00f6ll\u00fc A, Varaiya P (1994) A dynamic network of hybrid automata. In: 5th annual conference on AI, simulation, and planning in high autonomy systems, pp 244\u2013251"},{"key":"240_CR23","first-page":"101","volume-title":"10th International Workshop on Worst-Case Execution Time Analysis. Volume 15 of OASIcs.","author":"A Gustavsson","year":"2010","unstructured":"Gustavsson A, Ermedahl A, Lisper B, Pettersson P (2010) Towards WCET analysis of multicore architectures using UPPAAL. In: Lisper B (ed) 10th International Workshop on Worst-Case Execution Time Analysis. Volume 15 of OASIcs. Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl, pp 101\u2013 112"},{"key":"240_CR24","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1016\/S0304-3975(99)00038-9","volume":"221","author":"TA Henzinger","year":"1999","unstructured":"Henzinger TA, Kopke PW (1999) Discrete-time control for rectangular hybrid automata. Theor Comput Sci 221:369\u2013392","journal-title":"Theor Comput Sci"},{"key":"240_CR25","doi-asserted-by":"crossref","unstructured":"Henzinger TA, Manna Z, Pnueli A (1992) Timed transition systems. In: de Bakker J.W., Huizing C., de Roever W.P., Rozenberg G. (eds) Real-Time: Theory in Practice. Volume 600 of Lecture Notes in Computer Science. Springer, Berlin, pp 226\u2013251","DOI":"10.1007\/BFb0031995"},{"key":"240_CR26","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"TA Henzinger","year":"1994","unstructured":"Henzinger TA, Nicollin X, Sifakis J, Yovine S (1994) Symbolic model checking for real-time systems. Inf Comput 111:394\u2013406","journal-title":"Inf Comput"},{"issue":"12","key":"240_CR27","doi-asserted-by":"crossref","first-page":"933","DOI":"10.1109\/32.368134","volume":"20","author":"F Jahanian","year":"1994","unstructured":"Jahanian F, Mok AK (1994) Modechart: A specification language for real-time systems. IEEE Trans Softw Eng 20(12):933\u2013947","journal-title":"IEEE Trans Softw Eng"},{"key":"240_CR28","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1007\/978-3-540-71209-1_15","volume-title":"Proceedings of the 13th international conference on tools and algorithms for the construction and analysis of systems. TACAS\u201907","author":"M Jurdzi\u0144ski","year":"2007","unstructured":"Jurdzi\u0144ski M, Laroussinie F, Sproston J (2007) Model checking probabilistic timed automata with one or two clocks Proceedings of the 13th international conference on tools and algorithms for the construction and analysis of systems. TACAS\u201907. Springer, Berlin, Heidelberg, pp 170\u2013184"},{"key":"240_CR29","doi-asserted-by":"crossref","unstructured":"Kaynar DK, Lynch NA, Segala R, Vaandrager FW (2006) The theory of timed I\/O automata. Synthesis Lectures on Computer Science Morgan & Claypool Publishers","DOI":"10.2200\/S00006ED1V01Y200508CSL001"},{"key":"240_CR30","first-page":"129","volume-title":"Robust specification of real time components. In: Proceedings of the 9th international conference on formal modeling and analysis of timed systems. FORMATS \u201911","author":"KG Larsen","year":"2011","unstructured":"Larsen KG, Legay A, Traonouez LM, W\u0105sowski A (2011) Robust specification of real time components. In: Proceedings of the 9th international conference on formal modeling and analysis of timed systems. FORMATS \u201911. Springer, Berlin, pp 129\u2013144"},{"key":"240_CR31","volume-title":"Model reduction of discrete real-time systems. PhD thesis, Department of Electrical Computer Engineering","author":"M Lawford","year":"1997","unstructured":"Lawford M (1997) Model reduction of discrete real-time systems. PhD thesis, Department of Electrical Computer Engineering. University of Toronto, Toronto"},{"key":"240_CR32","doi-asserted-by":"crossref","unstructured":"Lawford M, Wonham WM, Ostroff JS (1994) State-event observers for labeled transition systems. In: Proceedings of the 33rd IEEE conference on decision and control. Vol 4, pp 3642\u2013 3648","DOI":"10.1109\/CDC.1994.411721"},{"key":"240_CR33","unstructured":"Maler O, Pnueli A, Sifakis J (1995) On the synthesis of discrete controllers for timed systems (an extended abstract). In: Symposium on theoretical aspects of computer science, pp 229\u2013242"},{"key":"240_CR34","first-page":"182","volume-title":"Proceedings of the 6th International Conference on Real-Time Computing Systems and Applications. RTCSA \u201999","author":"C Norstr\u00f6m","year":"1999","unstructured":"Norstr\u00f6m C, Wall A, Yi W (1999) Timed automata as task models for event-driven systems Proceedings of the 6th International Conference on Real-Time Computing Systems and Applications. RTCSA \u201999. IEEE Computer Society, Washington, pp 182\u2013189"},{"key":"240_CR35","volume-title":"Temporal logic for real time systems","author":"JS Ostroff","year":"1989","unstructured":"Ostroff JS (1989) Temporal logic for real time systems. Wiley, New York"},{"key":"240_CR36","first-page":"125","volume-title":"Formal Techniques for Distributed Systems. Volume 6117 of Lecture Notes in Computer Science","author":"E Posse","year":"2010","unstructured":"Posse E, Dingel J (2010) Theory and implementation of a real-time extension to the \u03c0-calculus. In: Hatcliff J, Zucca E (eds) Formal Techniques for Distributed Systems. Volume 6117 of Lecture Notes in Computer Science. Springer, Berlin, pp 125\u2013139"},{"key":"240_CR37","unstructured":"Ramchandani C (1974) Analysis of asynchronous concurrent systems by timed Petri nets. Technical report, Massachusetts Institute of Technology, Cambridge, MA USA"},{"issue":"0","key":"240_CR38","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.cosrev.2013.05.001","volume":"9","author":"MTB Waez","year":"2013","unstructured":"Waez MTB, Dingel J, Rudie K (2013) A survey of timed automata for the development of real-time systems. Comput Sci Rev 9(0):1\u201326","journal-title":"Comput Sci Rev"},{"key":"240_CR39","doi-asserted-by":"crossref","unstructured":"Waez MTB, W\u0105sowski A, Dingel J, Rudie K (2015a) A model for industrial real-time systems. In: D\u2019Souza D, Lal A, Larsen KG (eds) Verification, Model Checking, and Abstract Interpretation. Volume 8931 of Lecture Notes in Computer science. Springer, Berlin, pp 153\u2013171","DOI":"10.1007\/978-3-662-46081-8_9"},{"key":"240_CR40","doi-asserted-by":"crossref","unstructured":"Waez MTB, W\u0105sowski A, Dingel J, Rudie K (2015b) Synthesis of a reconfiguration service for mixed-criticality multi-core systems: an experience report. In: Lanese I, Madelaine E (eds) Formal Aspects of component software. Lecture notes in computer science. Springer International Publishing, pp 162\u2013 180","DOI":"10.1007\/978-3-319-15317-9_10"},{"key":"240_CR41","volume-title":"Timed automata to synthesize controllers of dynamic hierarchical real-time plants. Technical Report 2016-631","author":"MTB Waez","year":"2016","unstructured":"Waez MTB, W\u0105sowski A, Dingel J, Rudie K (2016) Timed automata to synthesize controllers of dynamic hierarchical real-time plants. Technical Report 2016-631. Queen\u2019s University, ON. http:\/\/research.cs.queensu.ca\/TechReports\/Reports\/2016-631.pdf"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-017-0240-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-017-0240-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-017-0240-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T13:33:22Z","timestamp":1568986402000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-017-0240-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,5]]},"references-count":41,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,6]]}},"alternative-id":["240"],"URL":"https:\/\/doi.org\/10.1007\/s10626-017-0240-2","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[2017,4,5]]}}}