A formal framework for user centric control of probabilistic multi-agent cyber-physical systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5405 LNAI, Issue , 2009, Pages 97-116

  Bujorianu, Marius C ^a   Bujorianu, Manuela L ^a   Barringer, Howard ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

Bisimulation; Cyber physical systems; Multi agent systems; Runtime analysis; Stochastic model checking; Symmetries; User centric control

Indexed keywords

BISIMULATION; CYBER-PHYSICAL SYSTEMS; RUNTIME ANALYSIS; SYMMETRIES; USER CENTRIC CONTROL;

COMPUTATIONAL LINGUISTICS; ELECTRIC POWER TRANSMISSION NETWORKS; MARKOV PROCESSES; MATHEMATICAL OPERATORS; MODEL CHECKING; SAFETY ENGINEERING; STOCHASTIC CONTROL SYSTEMS; STOCHASTIC MODELS; THEOREM PROVING;

MULTI AGENT SYSTEMS;

EID: 70249098463     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02734-5_7     Document Type: Conference Paper

References (24)

1. Alur, R., Grosu, R., Hur, Y., Kumar, V., Lee, I.: Modular specification of hybrid systems in CHARON. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000, vol.1790, pp. 6-19. Springer, Heidelberg (2000)
2. Barringer, H.: The Future of Imperative Logic. British Colloquium for Theoretical Computer Science (1990)
3. Boboc, N., Bucur, G., Cornea, A.: Order and Convexity in Potential Theory. H-Cones. Lecture Notes in Math., vol.853. Springer, Heidelberg (1992)
4. Bujorianu, M.C., Bujorianu, M.L.: Towards Hilbertian Formal Methods. In: Proc.of Conf. on Application of Concurrency to System Design, IEEE Press, Los Alami-tos (2007)
5. Bujorianu, M.C., Bujorianu, M.L.: An Integrated Specification Framework for Embedded Systems. In: Proc. of SEFM. IEEE Press, Los Alamitos (2007)
6. Bujorianu, M.C., Bujorianu, M.L.: Towards a Formal Framework for Multidimensional Codesign. Technical Report TR-CTIT-08-21 Centre for Telematics and Information Technology, University of Twente (2008), http://eprints.eemcs. utwente.nl/12108/
7. Bujorianu, L.M., Bujorianu, M.C.: Bisimulation, Logic and Mobility for Markovian Systems. In: Proc. of Eighteenth International symposium on Mathematical Theory of Networks and Systems (2008)
8. Bujorianu, M.L.: Extended Stochastic Hybrid Systems and their Reachability Problem. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.2993, pp. 234-249. Springer, Heidelberg (2004)
9. Bujorianu, L.M., Bujorianu, M.C.: Bisimulation, Logic and Reachability Analysis for Markovian Systems. Technical Report TR-CTIT-08-23 Centre for Telematics and Information Technology, University of Twente (2008)
10. Bujorianu, M.L., Bujorianu, M.C.: Model Checking for a Class of Performance Properties of Fluid Stochastic Models. In: Horváth, A., Telek, M., et al. (eds.) EPEW 2006. LNCS, vol.4054, pp. 93-107. Springer, Heidelberg (2006)
11. Bujorianu, M.L., Lygeros, J., Bujorianu, M.C.: Abstractions of Stochastic Hybrid System. In: Proc. 44th Conference in Decision and Control. IEEE Press, Los Alami-tos (2005)
12. Bujorianu, M.L., Lygeros, J., Bujorianu, M.C.: Bisimulation for General Stochastic Hybrid Systems. In: [21], pp. 198-216
13. Blumenthal, R.M., Getoor, R.K.: Markov Processes and Potential Theory. Academic Press, London (1968)
14. Desharnais, J., Edalat, A., Panangaden, P.: A Logical Characterization of Bisim-ulation for Labeled Markov Processes. In: LICS, pp. 478-487 (1998)
15. Desharnais, J., Gupta, V., Jagadeesan, R., Panangaden, P.: Metrics for Labelled Markov Systems. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.1664, pp. 258-273. Springer, Heidelberg (1999)
16. Fisher, M., Bordini, R.H., Hirsch, B., Torroni, P.: Computational Logics and Agents: A Roadmap of Current Technologies and Future Trends. Computational Intelligence 23(1), 61-91 (2007)
17. Fisher, M., Ballarini, P., Wooldridge, M.: Uncertain Agent Verification through Probabilistic Model-Checking. In: Proceedings of 3rd International Workshop on Safety and Security in Multiagent Systems (SASEMAS 2006) (2006)
18. Frazzoli, E., Bullo, F.: On Quantization and Optimal Control of Dynamical Systems with Symmetries. Proc. IEEE Conf. on Decision and Control 1, 817-823 (2002)
19. Kwiatkowska, M., Norman, G., Parker, D.: Symmetry Reduction for Probabilistic Model Checking. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol.4144, pp. 234-248. Springer, Heidelberg (2006)
20. Larsen, K.G., Skou, A.: Bisimulation through Probabilistic Testing. Information and Computation 94, 1-28 (1991)
21. Morari, M., Thiele, L. (eds.): HSCC 2005. LNCS, vol.3414. Springer, Heidelberg (2005)
22. McCall, J.C., Trivedi, M.M.: Driver Behavior and Situation Aware Brake Assistance for Intelligent Vehicles. Proceedings of the IEEE 95(2), 374-387 (2007)
23. Pola, G., Bujorianu, M.L., Lygeros, J., Di Benedetto, M.D.: Stochastic Hybrid Models: An Overview with applications to Air Traffic Management. In: Proccedings Analysis and Design of Hybrid Systems, IFAC ADHS 2003, pp. 45-50. Elsevier IFAC Publications (2003)
24. Wikipedia Cyber-physical system, http://en.wikipedia.org/wiki/Cyber- physicalsystems