{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:27:17Z","timestamp":1761488837779,"version":"3.40.1"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,1,8]],"date-time":"2012-01-08T00:00:00Z","timestamp":1325980800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1007\/s10626-011-0126-7","type":"journal-article","created":{"date-parts":[[2012,1,7]],"date-time":"2012-01-07T01:58:56Z","timestamp":1325901536000},"page":"479-510","source":"Crossref","is-referenced-by-count":4,"title":["A pseudometric in supervisory control of probabilistic discrete event systems"],"prefix":"10.1007","volume":"22","author":[{"given":"Vera","family":"Pantelic","sequence":"first","affiliation":[]},{"given":"Mark","family":"Lawford","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,1,8]]},"reference":[{"key":"126_CR1","unstructured":"Arnold A (1994) Finite transition systems. Prentice Hall"},{"issue":"2","key":"126_CR2","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1214\/aoms\/1177704593","volume":"33","author":"D Blackwell","year":"1962","unstructured":"Blackwell D (1962) Discrete dynamic programming. Ann Math Stat 33(2):719\u2013726","journal-title":"Ann Math Stat"},{"issue":"5","key":"126_CR3","doi-asserted-by":"crossref","first-page":"820","DOI":"10.1080\/00207170701704746","volume":"81","author":"I Chattopadhyay","year":"2008","unstructured":"Chattopadhyay I, Ray A (2008) Structural transformations of probabilistic finite state machines. Int J Control 81(5):820\u2013835","journal-title":"Int J Control"},{"issue":"5","key":"126_CR4","doi-asserted-by":"crossref","first-page":"849","DOI":"10.1080\/00207170802343196","volume":"82","author":"I Chattopadhyay","year":"2009","unstructured":"Chattopadhyay I, Mallapragada G, Ray A (2009) \u03bd \u2009\u22c6\u2009: a robot path planning algorithm based on renormalized measure of probabilistic regular languages. Int J Control 82(5):849\u2013867","journal-title":"Int J Control"},{"key":"126_CR5","doi-asserted-by":"crossref","unstructured":"de Alfaro L, Henzinger TA, Majumdar R (2003) Discounting the future in systems theory. In: Baeten JCM, Lenstra JK, Parrow J, Woeginger GJ (eds) Proceedings of international colloquium on automata, languages and programming. Lecture Notes in Computer Science, vol 2719. Springer, pp 1022\u20131037","DOI":"10.1007\/3-540-45061-0_79"},{"key":"126_CR6","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/j.entcs.2009.10.006","volume":"253","author":"Y Deng","year":"2009","unstructured":"Deng Y, Du W (2009) The Kantorovich metric in computer science: a brief survey. Electron Notes Theor Comput Sci 253:73\u201382","journal-title":"Electron Notes Theor Comput Sci"},{"issue":"2","key":"126_CR7","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/j.entcs.2005.10.033","volume":"153","author":"Y Deng","year":"2006","unstructured":"Deng Y, Chothia T, Palamidessi C, Pang J (2006) Metrics for action-labelled quantitative transition systems. Electron Notes Theor Comput Sci 153(2):79\u201396","journal-title":"Electron Notes Theor Comput Sci"},{"key":"126_CR8","doi-asserted-by":"crossref","unstructured":"Desharnais J, Gupta V, Jagadeesan R, Panangaden P (1999) Metrics for labeled Markov systems. In: Baeten JCM, Mauw S (eds) Proceedings of the 10th international conference on concurrency theory. Lecture Notes in Computer Science, vol 1664. Springer, pp 258\u2013273","DOI":"10.1007\/3-540-48320-9_19"},{"key":"126_CR9","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1109\/LICS.2002.1029849","volume-title":"Proceedings of the 17th annual IEEE symposium on logic in computer science","author":"J Desharnais","year":"2002","unstructured":"Desharnais J, Jagadeesan R, Gupta V, Panangaden P (2002) The metric analogue of weak bisimulation for probabilistic processes. In: Proceedings of the 17th annual IEEE symposium on logic in computer science, IEEE Computer Society, Washington, DC, USA, pp 413\u2013422"},{"issue":"3","key":"126_CR10","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/j.tcs.2003.09.013","volume":"318","author":"J Desharnais","year":"2004","unstructured":"Desharnais J, Gupta V, Jagadeesan R, Panangaden P (2004) Metrics for labelled Markov processes. Theor Comp Sci 318(3):323\u2013354","journal-title":"Theor Comp Sci"},{"key":"126_CR11","first-page":"162","volume-title":"Proceedings of the 20th conference on uncertainty in artificial intelligence (UAI-04)","author":"N Ferns","year":"2004","unstructured":"Ferns N, Panangaden P, Precup D (2004) Metrics for finite Markov decision processes. In: Proceedings of the 20th conference on uncertainty in artificial intelligence (UAI-04). Banff, Canada, AUAI Press, Arlington, Virginia, pp 162\u2013169, 07\u201311 July 2004"},{"key":"126_CR12","first-page":"201","volume-title":"Proceedings of the 21st conference in uncertainty in artificial intelligence","author":"N Ferns","year":"2005","unstructured":"Ferns N, Panangaden P, Precup D (2005) Metrics for Markov Decision Processes with infinite state spaces. In: Proceedings of the 21st conference in uncertainty in artificial intelligence. Edinburgh, Scotland, AUAI Press, Cambridge, MA, USA, pp 201\u2013208, 26\u201329 July 2005"},{"key":"126_CR13","first-page":"174","volume-title":"Proceedings of the 22nd conference on uncertainty in artificial intelligence","author":"N Ferns","year":"2006","unstructured":"Ferns N, Castro PS, Precup D, Panangaden P (2006) Methods for computing state similarity in Markov decision processes. In: Proceedings of the 22nd conference on uncertainty in artificial intelligence, AUAI Press, Cambridge, MA, USA, pp 174\u2013181, 13\u201316 July 2006"},{"key":"126_CR14","doi-asserted-by":"crossref","unstructured":"Garg V (1992a) An algebraic approach to modeling probabilistic discrete event systems. In: Proceedings of 31st IEEE conference on decision and control, Tucson, AZ, USA, pp 2348\u20132353","DOI":"10.1109\/CDC.1992.371373"},{"key":"126_CR15","unstructured":"Garg V (1992b) Probabilistic languages for modeling of DEDS. In: Proceedings of 26th conference on information sciences and systems, vol 1. Princeton, NJ, pp 198\u2013203"},{"key":"126_CR16","unstructured":"Giacalone A, Jou C, Smolka S (1990) Algebraic reasoning for probabilistic concurrent systems. In: Broy M, Jones CB (eds) Proceedings of the working conference on programming concepts and methods, North-Holland, Sea of Gallilee, Israel, pp 443\u2013458"},{"issue":"1","key":"126_CR17","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M Hennessy","year":"1985","unstructured":"Hennessy M, Milner R (1985) Algebraic laws for nondeterminism and concurrency. J ACM 32(1):137\u2013161","journal-title":"J ACM"},{"issue":"5","key":"126_CR18","doi-asserted-by":"crossref","first-page":"713","DOI":"10.1512\/iumj.1981.30.30055","volume":"30","author":"JE Hutchinson","year":"1981","unstructured":"Hutchinson JE (1981) Fractals and self-similarity. Indiana Univ Math J 30(5):713\u2013747","journal-title":"Indiana Univ Math J"},{"key":"126_CR19","unstructured":"Jou CC, Smolka SA (1990) Equivalences, congruences, and complete axiomatizations for probabilistic processes. In: Baeten JCM, Klop JW (eds) Proceedings of international conference on concurrency theory. Lecture notes in computer science, vol 458. Springer, pp 367\u2013383"},{"key":"126_CR20","unstructured":"Kantorovich L (1942) On the transfer of masses (in Russian). Dokl Akad Nauk 37(2):227\u2013229; translated in Manage Sci, 5:(1\u20134) (1959)"},{"key":"126_CR21","doi-asserted-by":"crossref","unstructured":"Koeppl H, Setti G, Pelet S, Mangia M, Petrov T, Peter M (2010) Probability metrics to calibrate stochastic chemical kinetics. In: Proceedings of 2010 IEEE international symposium on circuits and systems (ISCAS), pp 541\u2013544","DOI":"10.1109\/ISCAS.2010.5537549"},{"issue":"2","key":"126_CR22","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1016\/0022-0000(85)90012-1","volume":"30","author":"D Kozen","year":"1985","unstructured":"Kozen D (1985) A probabilistic PDL. J Comput Cyst Sci 30(2):162\u2013178","journal-title":"J Comput Cyst Sci"},{"key":"126_CR23","unstructured":"Kumar R, Garg V (1998) Control of stochastic discrete event systems: existence. In: Proceedings of 1998 international workshop on discrete event systems, Cagliari, Italy, pp 24\u201329"},{"issue":"1","key":"126_CR24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"KG Larsen","year":"1991","unstructured":"Larsen KG, Skou A (1991) Bisimulation through probabilistic testing. Inf Comput 94(1):1\u201328","journal-title":"Inf Comput"},{"key":"126_CR25","doi-asserted-by":"crossref","unstructured":"Lawford M, Wonham W (1993) Supervisory control of probabilistic discrete event systems. In: Proceedings of the 36th IEEE Midwest symposium on circuits and systems, IEEE, vol 1, pp 327\u2013331","DOI":"10.1109\/MWSCAS.1993.343043"},{"issue":"10","key":"126_CR26","first-page":"1971","volume":"44","author":"Y Li","year":"1998","unstructured":"Li Y, Lin F, Lin ZH (1998) Supervisory control of probabilistic discrete event systems with recovery. IEEE Trans Automat Contr 44(10):1971\u20131975","journal-title":"IEEE Trans Automat Contr"},{"issue":"1","key":"126_CR27","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1080\/00207170801947096","volume":"82","author":"G Mallapragada","year":"2009","unstructured":"Mallapragada G, Chattopadhyay I, Ray A (2009) Autonomous robot navigation using optimal control of probabilistic regular languages. Int J Control 82(1):13\u201326","journal-title":"Int J Control"},{"key":"126_CR28","unstructured":"Pantelic V (2011) Probabilistic supervisory control of probabilistic discrete event systems. PhD thesis, McMaster University, Hamilton, ON, Canada"},{"key":"126_CR29","doi-asserted-by":"crossref","unstructured":"Pantelic V, Lawford M (2009) Towards optimal supervisory control of probabilistic discrete event systems. In: Proceedings of 2nd IFAC workshop on dependable control of discrete systems (DCDS 2009). Bari, Italy, pp 85\u201390","DOI":"10.3182\/20090610-3-IT-4004.00018"},{"key":"126_CR30","unstructured":"Pantelic V, Lawford M (2010) Use of a metric in supervisory control of probabilistic discrete event systems. In: Proceedings of the 10th international workshop on discrete event systems (WODES 2010), pp 227\u2013232, 30 August\u20131 September"},{"key":"126_CR31","doi-asserted-by":"crossref","unstructured":"Pantelic V, Lawford M (2012) Optimal supervisory control of probabilistic discrete event systems. IEEE Trans Automat Contr (in press)","DOI":"10.1109\/TAC.2011.2173420"},{"issue":"8","key":"126_CR32","doi-asserted-by":"crossref","first-page":"2013","DOI":"10.1109\/TAC.2009.2024376","volume":"54","author":"V Pantelic","year":"2009","unstructured":"Pantelic V, Postma S, Lawford M (2009) Probabilistic supervisory control of probabilistic discrete event systems. IEEE Trans Automat Contr 54(8):2013\u20132018","journal-title":"IEEE Trans Automat Contr"},{"key":"126_CR33","unstructured":"Postma S, Lawford M (2004) Computation of probabilistic supervisory controllers for model matching. In: Veeravalli V, Dullerud G (eds) Proceedings of allerton conference on communications, control, and computing, Monticello, Illinois"},{"issue":"3","key":"126_CR34","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1049\/iet-syb.2009.0039","volume":"4","author":"D Thorsley","year":"2010","unstructured":"Thorsley D, Klavins E (2010) Approximating stochastic biochemical processes with wasserstein pseudometrics. IET Syst Biol 4(3):193\u2013211","journal-title":"IET Syst Biol"},{"key":"126_CR35","unstructured":"van Breugel F, Worrell J (2001) An algorithm for quantitative verification of probabilistic transition systems. In: Larsen KG, Nielsen M (eds) Proceedings of international conference on concurrency theory. Lecture Notes in Computer Science, vol 2154. Springer, pp 336\u2013350"},{"issue":"1","key":"126_CR36","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/j.tcs.2004.09.035","volume":"331","author":"F Breugel van","year":"2005","unstructured":"van Breugel F, Worrell J (2005) A behavioural pseudometric for probabilistic transition systems. Theor Comp Sci 331(1):115\u2013142","journal-title":"Theor Comp Sci"},{"issue":"1-3","key":"126_CR37","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1016\/j.tcs.2006.05.021","volume":"360","author":"F Breugel van","year":"2006","unstructured":"van Breugel F, Worrell J (2006) Approximating and computing behavioural distances in probabilistic transition systems. Theor Comp Sci 360(1-3):373\u2013385","journal-title":"Theor Comp Sci"},{"key":"126_CR38","doi-asserted-by":"crossref","unstructured":"van Breugel F, Hermida C, Makkai M, Worrell J (2005) An accessible approach to behavioural pseudometrics. In: Caires L, Italiano G, Monteiro L, Palamidessi C, Yung M (eds) Automata, languages and programming. Lecture Notes in Computer Science, vol 3580. Springer Berlin \/ Heidelberg, pp 1018\u20131030","DOI":"10.1007\/11523468_82"},{"issue":"1\u20132","key":"126_CR39","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/j.tcs.2007.02.059","volume":"380","author":"F Breugel van","year":"2007","unstructured":"van Breugel F, Hermida C, Makkai M, Worrell J (2007) Recursively defined metric spaces without contraction. Theor Comp Sci 380(1\u20132):143\u2013163","journal-title":"Theor Comp Sci"},{"issue":"3","key":"126_CR40","first-page":"47","volume":"5","author":"L Wasserstein","year":"1969","unstructured":"Wasserstein L (1969) Markov processes over denumerable products of spaces describing large systems of automata. Probl Inf Transm 5(3):47\u201352","journal-title":"Probl Inf Transm"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-011-0126-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-011-0126-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-011-0126-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,18]],"date-time":"2025-03-18T15:42:10Z","timestamp":1742312530000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-011-0126-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,8]]},"references-count":40,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["126"],"URL":"https:\/\/doi.org\/10.1007\/s10626-011-0126-7","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[2012,1,8]]}}}