A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems

DOI10.1007/978-3-642-02734-5_7zbMath1250.68264OpenAlexW2173007823MaRDI QIDQ3393382

Manuela L. Bujorianu, Howard Barringer, Marius C. Bujorianu

Publication date: 20 August 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02734-5_7

zbMATH Keywords

symmetriesbisimulationruntime analysiscyber-physical systemsmulti agent systemsstochastic model checkinguser centric control

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

On potential kernels associated with random dynamical systems ⋮ State constrained reachability for stochastic hybrid systems

Uses Software

• Charon

Cites Work

• State constrained reachability for stochastic hybrid systems
• Order and convexity in potential theory: H-cones. In collab. with Herbert Höllein
• Bisimulation through probabilistic testing
• Hybrid systems: computation and control. 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9--11, 2005. Proceedings
• Model Checking for a Class of Performance Properties of Fluid Stochastic Models
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Symmetry Reduction for Probabilistic Model Checking
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems