Article thumbnail
Location of Repository

Hybrid automata dicretising agents for formal modelling of robots

By Levente Molnar and S.M. Veres


Some of the fundamental capabilities required by autonomous vehicles and systems for their intelligent decision making are: modelling of the environment and forming data abstractions for symbolic, logic based reasoning. The paper formulates a discrete agent framework that abstracts and controls a hybrid system that is a composition of hybrid automata modelled continuous individual processes. Theoretical foundations are laid down for a class of general model composition agents (MCAs) with an advanced subclass of rational physical agents (RPAs). We define MCAs as the most basic structures for the description of complex autonomous robotic systems. The RPA’s have logic based decision making that is obtained by an extension of the hybrid systems concepts using a set of abstractions. The theory presented helps the creation of robots with reliable performance and safe operation in their environment. The paper emphasizes the abstraction aspects of the overall hybrid system that emerges from parallel composition of sets of RPAs and MCAs

Topics: T1
Year: 2011
DOI identifier: 10.3182/20110828-6-it-1002.03022
OAI identifier:
Provided by: e-Prints Soton
Sorry, our data provider has not provided any external links therefore we are unable to provide a link to the full text.

Suggested articles


  1. (2006). A bottom-up approach to verification of hybrid modelbased hierarchical controllers with application to underwater vehicles. doi
  2. (2006). A coordinated method based on hybrid intelligent control agent for multi-auvs control. In Information Acquisition, doi
  3. (2009). An automated approach to verifying diagnosability in multi-agent systems. doi
  4. (2000). Approximating quotient transition systems for hybrid systems. doi
  5. (2005). Automatic verification of deontic interpreted systems by model checking via obdds.
  6. (2011). Autonomous vehicle control systems - a review of decision making.
  7. (2009). Autosub6000: A deep diving long range AUV. doi
  8. (2009). Combining fault injection and model checking to verify fault tolerance in multi-agent systems.
  9. (2003). Communicating xmachines: From theory to practice. doi
  10. (2005). Compositional Verification of Hybrid Systems using Simulation Relations, PhD dissertation. doi
  11. (2000). Discrete abstractions of hybrid systems. doi
  12. (2010). Documents for intelligent agents in english.
  13. (2007). Environment as a first class abstraction in multiagent systems. doi
  14. (2009). Mcmas: A model checker for the verification of multi-agent systems. doi
  15. (2008). Natural language programming of agents and robotic devices. doi
  16. (1995). Reasoning About Knowledge. doi
  17. (2000). Reasoning about Rational Agents. doi
  18. (2009). System verification of autonomous underwater vehicles by model checking. doi
  19. (1994). The algorithmic analysis of hybrid systems. doi
  20. (2011). Verifying fault tolerance and self-diagnosability of an autonomous underwater vehicle.

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.