A formal mathematical framework for modeling probabilistic hybrid systems

9th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2006

Volumn , Issue , 2006, Pages

  St Aubin, Robert ^a   Friedman, Joel ^a   MacKworth, Alan K ^a  

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT ALGEBRA; ASYNCHRONOUS EVENT; CONTINUOUS TIME; HYBRID DYNAMICAL SYSTEMS; MATHEMATICAL FRAMEWORKS; MEASURE THEORY; NON-DETERMINISM; PROBABILISTIC CONSTRAINTS; PROGRAMMING SEMANTICS; REAL-TIME EMBEDDED SYSTEMS; ROBOTIC SYSTEMS; SEMANTIC MODEL; UNCERTAIN DYNAMICS;

ALGEBRA; ARTIFICIAL INTELLIGENCE; AUTONOMOUS AGENTS; HYBRID SYSTEMS; SEMANTICS; UNCERTAINTY ANALYSIS;

MATHEMATICAL PROGRAMMING;

EID: 84864555830     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. G. Cassela and R. Berger. Statistical Inference. Belmont, California: Wadsworth and Brooks/Cole, 1990.
2. Micheal C. Gemignani. Elementary topology. Addison- Wesley, 1967.
3. M. Hennessy. Algebraic Theory of Processes. MIT Press, 1988.
4. K. Jensen. Coloured petri nets and the invariant-method. Theor. Comp. Science 14, pages 317-336, 1981.
5. A.M. Law andW.D. Kelton. Simulation Modeling and Analysis. McGRaw-Hill, New York, 3rd edition, 2000.
6. P. L'Ecuyer. Handbook of Simulation, chapter 4: Random Number Generation, pages 93.137. Wiley, 1998.
7. O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. Real-Time: Theory in practice in Lecture Notes in Computer Science, pages 448-484, 1992.
8. G. Maruyama. Continuous markov processes and stochastic equations. Rend. Circ. Mat. Palermo, 4:48-90, 1955.
9. Kevin Murphy. Dynamic Bayesian Networks: Representation, Inference and Learning. PhD thesis, UC Berkeley, Computer Science Division, July 2002.
10. A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, controllability, observability. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, number 736 in Lecture Notes on Computer Science, pages 317.356. Springer-Verlag, 1993.
11. James L. Peterson. Petri net theory and the modeling of systems. Prentice -Hall, 1981.
12. Martin L. Puterman. Markov Decision Processes: Discrete Stochastic Dynamic Programming. Wiley, New York, 1994.
13. Robert St-Aubin. 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 2005.
14. Robert St-Aubin and Alan K. Mackworth. Constraintbased approach to modeling and verification of probabilistic hybrid systems. Technical Report TR-2004-05, University of British Columbia, www.cs.ubc.ca/spider/staubin/Papers/ TR-04-05.pdf, April 2004.
15. Robert St-Aubin and Alan K. Mackworth. Modeling uncertain dynamical systems and solving behavioural constraints using probabilistic constraint nets. In ECAI: Workshop on Modeling and Solving Problems with Constraints, pages 70. 85, Valencia, Spain, August 2004.
16. A. Tarski. A lattice theoretical fixpoint theorem and its applications. Pacific J. of Math, 5:285-309, 1955.
17. Ying Zhang and Alan K. Mackworth. Constraint nets: a semantic model for hybrid systems. Theoretical Computer Science, 138(1):211-239, 1995.