Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,538,081 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.
2014
2014
Formal Analysis of the Wnt/β-catenin Pathway through Statistical Model Checking
Paolo Ballarini
,
Emmanuelle Gallet
,
P. L. Gall
,
M. Manceny
2014
Corpus ID: 14134426
The Wnt/β-catenin signalling pathway plays an important role in the proliferation of neural cells, and hence it is the main focus…
Expand
2013
2013
Verifying global convergence for a digital phase-locked loop
Jijie Wei
,
Yan Peng
,
Ge Yu
,
M. Greenstreet
Formal Methods in Computer-Aided Design
2013
Corpus ID: 13752624
We present a verification of a digital phase-locked loop (PLL) using the SpaceEx hybrid-systems tool. In particular, we establish…
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
2009
2009
Diagnosis of hybrid systems: Part 2- residual generator selection and diagnosis in the presence of unreliable residual generators
R. Mohammadi
,
S. Hashtrudi-Zad
,
K. Khorasani
IEEE International Conference on Systems, Man and…
2009
Corpus ID: 16010997
We have presented a framework in [6] for fault diagnosis of hybrid systems modeled by hybrid automata and investigated the…
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
2005
2005
Formal development of real-time priority-based schedulers
C. Seceleanu
European Conference on the Engineering of…
2005
Corpus ID: 5199360
We introduce a deductive method for constructing real-time scheduling programs, based on continuous action systems and the higher…
Expand
2005
2005
Tolque: A Tool for Algorithmic Algebraic Model Checking
V. Mysore
,
A. Casagrande
,
C. Piazza
,
B. Mishra
2005
Corpus ID: 116536867
Motivated by the need for scalable symbolic reasoning methodologies aimed at systems biology, as well as the novel opportunities…
Expand
2004
2004
Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets
S. Little
,
David Walter
,
N. Seegmiller
,
C. Myers
,
T. Yoneda
Automated Technology for Verification and…
2004
Corpus ID: 12774048
Embedded systems are composed of a heterogeneous collection of digital, analog, and mixed-signal hardware components. This paper…
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
2000
2000
Formal verification of the MetaH executive using linear hybrid automata
S. Vestal
Proceedings Sixth IEEE Real-Time Technology and…
2000
Corpus ID: 5816726
MetaH is a language and toolset for the development of real time high assurance software. There is an associated executive that…
Expand