A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems
DOI10.1007/978-3-642-02734-5_7zbMATH Open1250.68264OpenAlexW2173007823MaRDI QIDQ3393382FDOQ3393382
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
Recommendations
symmetriesbisimulationruntime analysiscyber-physical systemsmulti agent systemsstochastic model checkinguser centric control
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)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Order and convexity in potential theory: H-cones. In collab. with Herbert Höllein
- Bisimulation through probabilistic testing
- Hybrid Systems: Computation and Control
- Title not available (Why is that?)
- Hybrid Systems: Computation and Control
- Symmetry Reduction for Probabilistic Model Checking
- State constrained reachability for stochastic hybrid systems
- Automated game analysis via probabilistic model checking: a case study
- 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
Cited In (2)
Uses Software
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)
