A formal mathematical framework for modeling probabilistic hybrid systems

DOI10.1007/s10472-006-9035-0zbMath1113.68064OpenAlexW2054320689MaRDI QIDQ870808

Robert St-Aubin, Joel Friedman, Alan K. Mackworth

Publication date: 15 March 2007

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-006-9035-0

zbMATH Keywords

dynamical systemsalgebraic topologyprogramming semanticsconstraint netsprobabilistic hybrid system

Mathematics Subject Classification ID

(H^infty)-control (93B36) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Stochastic process semantics for dynamical grammars, A mathematical modelling for workflows

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constraint nets: a semantic model for hybrid dynamic systems
• Coloured Petri nets and the invariant-method
• Continuous Markov processes and stochastic equations
• A lattice-theoretical fixpoint theorem and its applications
• Up and Down The Temporal Way
• Feedback and optimal sensitivity: Model reference transformations, multiplicative seminorms, and approximate inverses
• Probability with Martingales
• Homotopy methods for the solution of general modified algebraic Riccati equations
• The logical control of an elevator
• Robust H∞ infinity control in the presence of stochastic uncertainty
• On a Matrix Riccati Equation of Stochastic Control
• Newton's method for a rational matrix equation occurring in stochastic control