{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,19]],"date-time":"2024-06-19T10:33:46Z","timestamp":1718793226050},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2007,1,9]],"date-time":"2007-01-09T00:00:00Z","timestamp":1168300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2007,2,15]]},"DOI":"10.1007\/s10472-006-9035-0","type":"journal-article","created":{"date-parts":[[2007,1,8]],"date-time":"2007-01-08T10:02:10Z","timestamp":1168250530000},"page":"397-425","source":"Crossref","is-referenced-by-count":3,"title":["A formal mathematical framework for modeling probabilistic hybrid systems"],"prefix":"10.1007","volume":"47","author":[{"given":"Robert","family":"St-Aubin","sequence":"first","affiliation":[]},{"given":"Joel","family":"Friedman","sequence":"additional","affiliation":[]},{"given":"Alan K.","family":"Mackworth","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,1,9]]},"reference":[{"issue":"1","key":"9035_CR1","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/0304-3975(94)00149-D","volume":"138","author":"Y. Zhang","year":"1995","unstructured":"Zhang, Y., Mackworth, A.K.: Constraint nets: a semantic model for hybrid systems. Theor. Comput. Sci. 138(1), 211\u2013239 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"9035_CR2","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1007\/978-3-642-60211-5_23","volume-title":"Logical Foundations for Cognitive Agents","author":"Y. Zhang","year":"1999","unstructured":"Zhang, Y., Mackworth, A.K.: Modeling and analysis of hybrid control systems: An elevator case study. In: Levesque, H., Pirri, F., (eds.) Logical Foundations for Cognitive Agents, pp. 370\u2013396. Springer, Berlin Heidelberg New York (1999)"},{"key":"9035_CR3","unstructured":"Barringer, H.: Up and down the temporal way. Tech. rep., Computer Science, University of Manchester, England (September\u00a01985)"},{"key":"9035_CR4","doi-asserted-by":"crossref","first-page":"480","DOI":"10.1109\/9.376063","volume":"3","author":"D. Dyck","year":"1995","unstructured":"Dyck, D., Caines, P.: The logical control of an elevator. IEEE Trans. Automat. Contr. 3, 480\u2013486 (March 1995)","journal-title":"IEEE Trans. Automat. Contr."},{"key":"9035_CR5","first-page":"230","volume":"32","author":"B. Sanden","year":"1989","unstructured":"Sanden, B.: An entity-life modeling approach to the design of concurrent software. Commun. ACM 32, 230\u2013243 (March\u00a01989)","journal-title":"Commun. ACM"},{"key":"9035_CR6","unstructured":"St-Aubin, R.: Probabilistic Constraint Nets: A Framework for the Modeling and Verification of Probabilistic Hybrid Systems. PhD thesis, University of British Columbia, Department of Computer Science, www.cs.ubc.ca\/spider\/staubin\/Papers\/StAubin.pdf (June\u00a02005)"},{"key":"9035_CR7","unstructured":"St-Aubin, R., Mackworth, A.K.: Modeling uncertain dynamical systems and solving behavioural constraints using probabilistic constraint nets. In: ECAI: Workshop on Modeling and Solving Problems with Constraints, pp.\u00a070\u201385, Valencia, Spain (August\u00a02004)"},{"key":"9035_CR8","volume-title":"Elementary Topology","author":"M.C. Gemignani","year":"1967","unstructured":"Gemignani, M.C.: Elementary Topology. Addison-Wesley, Reading, MA (1967)"},{"key":"9035_CR9","volume-title":"Algebraic Theory of Processes","author":"M. Hennessy","year":"1988","unstructured":"Hennessy, M.: Algebraic Theory of Processes. MIT, Cambridge, MA (1988)"},{"key":"9035_CR10","volume-title":"Topology via Logic","author":"S. Vickers","year":"1989","unstructured":"Vickers, S.: Topology via Logic. Cambridge University Press, Cambridge, UK (1989)"},{"key":"9035_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4962-7","volume-title":"Algebraic Approaches to Program Semantics","author":"E.G. Manes","year":"1986","unstructured":"Manes, E.G., Arbib, M.A.: Algebraic Approaches to Program Semantics. Springer, Berlin Heidelberg New York (1986)"},{"key":"9035_CR12","volume-title":"Optimal Control of Differential and Functional Equations","author":"J. Warga","year":"1972","unstructured":"Warga, J.: Optimal Control of Differential and Functional Equations. Academic Press, New York (1972)"},{"key":"9035_CR13","volume-title":"Real Analysis","author":"H.L. Royden","year":"1988","unstructured":"Royden, H.L.: Real Analysis, 3rd edn. Macmillan, New York (1988)","edition":"3"},{"key":"9035_CR14","volume-title":"Probability and Measure, Wiley series in probability and mathematical statistics","author":"P. Billingsley","year":"1986","unstructured":"Billingsley, P.: Probability and Measure, Wiley series in probability and mathematical statistics. Wiley, New York (1986)"},{"key":"9035_CR15","volume-title":"Probability","author":"L. Breiman","year":"1968","unstructured":"Breiman, L.: Probability. Addison-Wesley, Reading, MA (1968)"},{"key":"9035_CR16","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511813658","volume-title":"Probability with Martingales","author":"D. Williams","year":"1991","unstructured":"Williams, D.: Probability with Martingales. Cambridge Mathematical Textbooks, Cambridge (1991)"},{"key":"9035_CR17","volume-title":"Real and Complex Analysis","author":"W. Rudin","year":"1966","unstructured":"Rudin, W.: Real and Complex Analysis. McGraw-Hill, New York (1966)"},{"key":"9035_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8724-2","volume-title":"A guide to simulation","author":"P. Bratley","year":"1987","unstructured":"Bratley, P., Fox, B., Schrage, L.: A guide to simulation, 2nd\u00a0edn. Springer, Berlin Heidelberg New York (1987)","edition":"2"},{"key":"9035_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2960-3","volume-title":"Random number generation and Monte Carlo methods","author":"J. Gentle","year":"1998","unstructured":"Gentle, J.: Random number generation and Monte Carlo methods. Springer, Berlin Heidelberg New York (1998)"},{"key":"9035_CR20","volume-title":"Simulation Modeling and Analysis","author":"A. Law","year":"2000","unstructured":"Law, A., Kelton, W.: Simulation Modeling and Analysis, 3rd\u00a0edn. McGRaw-Hill, New York (2000)","edition":"3"},{"key":"9035_CR21","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1002\/9780470172445.ch4","volume-title":"Handbook of Simulation, ch.\u00a04: Random Number Generation","author":"P. L\u2019Ecuyer","year":"1998","unstructured":"L\u2019Ecuyer, P.: Handbook of Simulation, ch.\u00a04: Random Number Generation, pp.\u00a093\u2013137. Wiley, New York (1998)"},{"key":"9035_CR22","unstructured":"St-Aubin, R., Mackworth, A.K.: Constraint-based approach to modeling and verification of probabilistic hybrid systems. Tech. rep. TR-2004-05, University of British Columbia, www.cs.ubc.ca\/spider\/staubin\/Papers\/TR-04-05.pdf (April\u00a02004)"},{"key":"9035_CR23","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice -Hall, Englewood Cliffs, NJ (1981)"},{"key":"9035_CR24","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","volume":"14","author":"K. Jensen","year":"1981","unstructured":"Jensen, K.: Coloured petri nets and the invariant-method. Theor. Comp. Sci. 14, 317\u2013336 (1981)","journal-title":"Theor. Comp. Sci."},{"key":"9035_CR25","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1007\/BF02846028","volume":"4","author":"G. Maruyama","year":"1955","unstructured":"Maruyama, G.: Continuous markov processes and stochastic equations. Rend. Circ. Mat. Palermo 4, 48\u201390 (1955)","journal-title":"Rend. Circ. Mat. Palermo"},{"key":"9035_CR26","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1109\/TAC.1981.1102603","volume":"26","author":"G. Zames","year":"1981","unstructured":"Zames, G.: Feedback and optimal sensitivity: Model reference transformations, multiplicative seminorms, and approximate inverses. IEEE Trans. Automat. Contr. 26, 301\u2013320 (1981)","journal-title":"IEEE Trans. Automat. Contr."},{"key":"9035_CR27","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0447-6","volume-title":"Robust Control Design Using H \u221e Methods","author":"I.R. Petersen","year":"2000","unstructured":"Petersen, I.R., Ugrinovskii, V.A., Savkin, A.V.: Robust Control Design Using H \u221e Methods. Springer, Berlin Heidelberg New York (2000)"},{"issue":"6","key":"9035_CR28","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1049\/ip-d.1993.0059","volume":"160","author":"S. Richter","year":"1993","unstructured":"Richter, S., Hodel, A., Pruett, P.: Homotopy methods for the solution of general modified riccati equations. IEE. Proceedings.-D, Control Theory Appl. 160(6), 449\u2013454 (1993)","journal-title":"IEE. Proceedings.-D, Control Theory Appl."},{"issue":"2","key":"9035_CR29","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1080\/002071798221849","volume":"71","author":"V.A. Ugrinovskii","year":"1998","unstructured":"Ugrinovskii, V.A.: Robust H\u221e control in the presence of stochastic uncertainty. Int. J. Control 71(2), 219\u2013237 (1998)","journal-title":"Int. J. Control"},{"key":"9035_CR30","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/S0024-3795(00)00144-0","volume":"332\/334","author":"T. Damm","year":"2001","unstructured":"Damm, T., Hinrichsen, D.: Newton\u2019s method for a rational matrix equation occurring in stochastic control. Linear Algebra Appl. 332\/334, pp.\u00a081\u2013109 (2001)","journal-title":"Linear Algebra Appl."},{"issue":"4","key":"9035_CR31","doi-asserted-by":"crossref","first-page":"681","DOI":"10.1137\/0306044","volume":"6","author":"W. Wonham","year":"1968","unstructured":"Wonham, W.: On a matrix Riccati equation of stochastic control. SIAM J. Control 6(4), 681\u2013697 (1968)","journal-title":"SIAM J. Control"},{"key":"9035_CR32","first-page":"209","volume":"130","author":"C.-H. Guo","year":"2001","unstructured":"Guo, C.-H.: Iterative solution of a matrix riccati equation arising in stochastic control. Oper. Theory Adv. Appl. 130, 209\u2013221 (2001)","journal-title":"Oper. Theory Adv. Appl."},{"key":"9035_CR33","doi-asserted-by":"crossref","unstructured":"Maler, O., Manna, Z., Pnueli, A.: From timed to hybrid systems. Real-time: theory in practice in lecture notes in computer science, pp.\u00a0448\u2013484 (1992)","DOI":"10.1007\/BFb0032003"},{"key":"9035_CR34","first-page":"317","volume-title":"Hybrid Systems. Lecture Notes on Computer Science (736)","author":"A. Nerode","year":"1993","unstructured":"Nerode, A., Kohn, W.: Models for hybrid systems: Automata, topologies, controllability, observability. In: Grossman, R.L., Nerode, A., Ravn, A.P., Rischel, H. (eds.) Hybrid Systems. Lecture Notes on Computer Science (736), pp.\u00a0317\u2013356. Springer, Berlin Heidelberg New York (1993)"},{"key":"9035_CR35","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316887","volume-title":"Markov Decision Processes: Discrete Stochastic Dynamic Programming","author":"M.L. Puterman","year":"1994","unstructured":"Puterman, M.L.: Markov Decision Processes: Discrete Stochastic Dynamic Programming. Wiley, New York (1994)"},{"key":"9035_CR36","unstructured":"Murphy, K.: Dynamic Bayesian Networks: Representation, Inference and Learning. PhD thesis, UC Berkeley, Computer Science Division (July\u00a02002)"},{"key":"9035_CR37","doi-asserted-by":"crossref","unstructured":"Hofbaur, M., Williams, B.: Hybrid estimation of complex systems. In: IEEE Transactions on Man and Cybernetics, Part B: Cybern. 34(5), 2178\u20132191 (2004)","DOI":"10.1109\/TSMCB.2004.835009"},{"key":"9035_CR38","unstructured":"Stanislav\u00a0Funiak, L.J.B., Williams, B.C.: Gaussian particle filtering for concurrent hybrid models with autonomous transitions. J. Artif. Intell. Res. (2007)"},{"key":"9035_CR39","unstructured":"Beetz, M., Grosskreutz, H.: Probabilistic hybrid action models for predicting concurrent percept-driven robot behavior. In: Artificial Intelligence Planning Systems, pp. 42\u201361 (2000)"},{"key":"9035_CR40","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarksi","year":"1955","unstructured":"Tarksi, A.: A lattice theoretical fixpoint theorem and its applications. Pac. J. Math. 5, 285\u2013309 (1955)","journal-title":"Pac. J. Math."},{"key":"9035_CR41","volume-title":"Statistical Inference","author":"G. Cassela","year":"1990","unstructured":"Cassela, G., Berger, R.: Statistical Inference. Wadsworth and Brooks\/Cole, Belmont, California (1990)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-006-9035-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-006-9035-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-006-9035-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T17:51:50Z","timestamp":1559152310000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-006-9035-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1,9]]},"references-count":41,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2007,2,15]]}},"alternative-id":["9035"],"URL":"https:\/\/doi.org\/10.1007\/s10472-006-9035-0","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,1,9]]}}}