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

DOI10.1007/978-3-642-02734-5_7MaRDI QIDQ3393382zbMATH OpenOpenAlexFDO

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

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

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

Recommendations

• A probabilistic calculus of cyber-physical systems
• scientific article; zbMATH DE number 1759732
• Dynamic doxastic differential dynamic logic for belief-aware cyber-physical systems
• A calculus of cyber-physical systems
• Model Checking for Safe Navigation Among Humans

Cites work

• scientific article; zbMATH DE number 1361128 (Why is no real title available?)
• scientific article; zbMATH DE number 1444338 (Why is no real title available?)
• scientific article; zbMATH DE number 3272022 (Why is no real title available?)
• Automated game analysis via probabilistic model checking: a case study
• Bisimulation through probabilistic testing
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• 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
• Order and convexity in potential theory: H-cones. In collab. with Herbert Höllein
• State constrained reachability for stochastic hybrid systems
• Symmetry Reduction for Probabilistic Model Checking

Cited in

(2)

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

Describes a project that uses

Uses Software

• Charon

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3393382)