Sciweavers

296 search results - page 2 / 60
» Discrete and Hybrid Nonholonomy
Sort
View
84
Voted
HYBRID
2010
Springer
15 years 4 months ago
Succinct discrete time approximations of distributed hybrid automata
P. S. Thiagarajan, Shaofa Yang
UAI
2004
14 years 10 months ago
Solving Factored MDPs with Continuous and Discrete Variables
Although many real-world stochastic planning problems are more naturally formulated by hybrid models with both discrete and continuous variables, current state-of-the-art methods ...
Carlos Guestrin, Milos Hauskrecht, Branislav Kveto...
90
Voted
LICS
2012
IEEE
12 years 12 months ago
The Complete Proof Theory of Hybrid Systems
—Hybrid systems are a fusion of continuous dynamical systems and discrete dynamical systems. They freely combine dynamical features from both worlds. For that reason, it has ofte...
André Platzer
CAV
1997
Springer
202views Hardware» more  CAV 1997»
15 years 1 months ago
HYTECH: A Model Checker for Hybrid Systems
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi