Skip to search formSkip to main contentSkip to account menu

Hybrid automaton

Known as: Hybrid automata 
In automata theory, a hybrid automaton (plural: hybrid automata or hybrid automatons) is a mathematical model for precisely describing systems in… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
We define a semantics for stochastic Concurrent Constraint Programming (sCCP), a stochastic process algebra, in terms of… 
2011
2011
Robots often fail to do what we expect them to do; they go the wrong way, they drive into obstacles, and sometimes they just stay… 
2008
2008
Voice over Internet Protocol (VoIP) is an Internet application of ever increasing importance. The purpose of this note is to… 
2004
2004
In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the… 
Highly Cited
2003
Highly Cited
2003
In this paper, we extend a recently introduced motion planning framework for autonomous vehicles based on a maneuver automation… 
2003
2003
A number of modular robotic systems have been developed over the last decade. Such systems promise increased flexibility and… 
1997
1997
A simulation environment of the coordinated operation of multiple Autonomous Underwater Vehicles (AUVs) is presented. The primary… 
1994
1994
  • M. TittusB. Egardt
  • 1994
  • Corpus ID: 118061696
Based on the framework of hybrid automata the notion of controllability for a hybrid system with respect to given specifications… 
1994
1994
The concept of controllability for hybrid systems has been defined and an algorithm has been presented that is able to decide the…