Specification and Analysis of Hybrid Systems

References

Ammar Mohammed, Ulrich Furbach, and Frieder Stolzenburg. Multi-robot systems: Modeling, specification, and model checking. In Vladan Papic, editor, Robot Soccer, chapter 11, pages 241-266. IN-TECH, 2010. [ http ]

Christian Schwarz, Ammar Mohammed, and Frieder Stolzenburg. A tool environment for specifying and verifying multi-agent systems. In Joaquim Filipe, Ana Fred, and Bernadette Sharp, editors, Proceedings of 2nd International Conference on Agents and Artificial Intelligence, volume 2, pages 323-326, Valencia, Spain, 2010.

Ammar Mohammed and Frieder Stolzenburg. Implementing hierarchical hybrid automata using constraint logic programming. In Sibylle Schwarz, editor, Proceedings of 22nd Workshop on (Constraint) Logic Programming, pages 60-71, Dresden, 2008. University Halle Wittenberg, Institute of Computer Science. Technical Report 2008/08. [ .pdf ]

Christian Reinl, Florian Ruh, Frieder Stolzenburg, and Oskar von Stryk. Multi-robot systems optimization and analysis using MILP and CLP. In Pedro U. Lima, Nikos Vlassis, Matthijs Spaan, and Francisco S. Melo, editors, Workshop 1: Formal Models and Methods for Multi-Robot Systems at 7th International Joint Conference on Autonomous Agents and Multi-Agent Systems, pages 11-16, Estoril, Portugal, 2008. International Foundation for Autonomous Agents and Multi-Agent Systems (IFAAMAS). [ .pdf ]

Ulrich Furbach, Jan Murray, Falk Schmidsberger, and Frieder Stolzenburg. Hybrid multiagent systems with timed synchronization - specification and model checking. In Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, and Michael Winikoff, editors, Post-Proceedings of 5th International Workshop on Programming Multi-Agent Systems at 6th International Joint Conference on Autonomous Agents and Multi-Agent Systems, LNAI 4908, pages 205-220, Honolulu, 2008. Springer, Berlin, Heidelberg, New York. [ http ]

Jan Murray, Frieder Stolzenburg, and Toshiaki Arai. Hybrid state machines with timed synchronization for multi-robot system specification. KI, 3/06:45-50, 2006. [ http ]