Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,758 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Automata theory
Hybrid system
Lazy linear hybrid automaton
Model checking
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
(Hybrid) automata and (stochastic) programsThe hybrid automata lattice of a stochastic program
L. Bortolussi
,
A. Policriti
Journal of Logic and Computation
2013
Corpus ID: 14835006
We define a semantics for stochastic Concurrent Constraint Programming (sCCP), a stochastic process algebra, in terms of…
Expand
2011
2011
Robot Challenges: Toward Development of Verication and Synthesis Techniques [Errata]
H. Kress-Gazit
IEEE Robotics Autom. Mag.
2011
Corpus ID: 42353723
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…
Expand
2008
2008
A Mathematical Model of the Skype VoIP Congestion Control Algorithm
L. D. Cicco
,
S. Mascolo
IEEE Transactions on Automatic Control
2008
Corpus ID: 61820532
Voice over Internet Protocol (VoIP) is an Internet application of ever increasing importance. The purpose of this note is to…
Expand
2004
2004
Executable HybridUML and Its Application to Train Control Systems
Kirsten Berkenkötter
,
Stefan Bisanz
,
U. Hannemann
,
J. Peleska
SoftSpez Final Report
2004
Corpus ID: 4500708
In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the…
Expand
2004
2004
Hybrid modelling and optimal control of a Multiproduct Batch Plant
B. Potocnik
,
A. Bemporad
,
F. D. Torrisi
,
G. Mušič
,
B. Zupančič
2004
Corpus ID: 18731418
Highly Cited
2003
Highly Cited
2003
Robust motion planning using a maneuver automation with built-in uncertainties
Tom Schouwenaars
,
B. Mettler
,
E. Feron
,
J. How
Proceedings of the American Control Conference…
2003
Corpus ID: 13583289
In this paper, we extend a recently introduced motion planning framework for autonomous vehicles based on a maneuver automation…
Expand
2003
2003
An XML-based Scripting Language for Chain-type Modular Robotic Systems
Y. Zhang
,
A. Golovinsky
,
Mark H. Yim
,
Craig Eldershaw
2003
Corpus ID: 18266564
A number of modular robotic systems have been developed over the last decade. Such systems promise increased flexibility and…
Expand
1997
1997
A simulation environment for the coordinated operation of multiple autonomous underwater vehicles
J. Sousa
,
Aleks Göllü
Online World Conference on Soft Computing in…
1997
Corpus ID: 9397758
A simulation environment of the coordinated operation of multiple Autonomous Underwater Vehicles (AUVs) is presented. The primary…
Expand
1994
1994
Control-law synthesis for linear hybrid systems
M. Tittus
,
B. Egardt
Proceedings of 33rd IEEE Conference on Decision…
1994
Corpus ID: 118061696
Based on the framework of hybrid automata the notion of controllability for a hybrid system with respect to given specifications…
Expand
1994
1994
Controllability and Control-Law Synthesis of Linear Hybrid Systems
M. Tittus
,
B. Egardt
1994
Corpus ID: 15492116
The concept of controllability for hybrid systems has been defined and an algorithm has been presented that is able to decide the…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE