Sciweavers

3053 search results - page 20 / 611
» Hybrid Systems Diagnosis
Sort
View
HYBRID
2009
Springer
13 years 11 months ago
Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting
Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley
HYBRID
2005
Springer
14 years 1 months ago
Bisimulation for General Stochastic Hybrid Systems
In this paper we define a bisimulation concept for some very general models for stochastic hybrid systems (general stochastic hybrid systems). The definition of bisimulation buil...
Manuela L. Bujorianu, John Lygeros, Marius C. Bujo...
HYBRID
1994
Springer
13 years 11 months ago
Hierarchical Hybrid Control: A Case Study
Datta N. Godbole, John Lygeros, Shankar Sastry
HYBRID
1995
Springer
13 years 11 months ago
Hybrid I/O Automata
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrage...
AIED
2009
Springer
14 years 2 months ago
Combining Evaluative and Generative Diagnosis in ACTIVEMATH
Generative and evaluative approaches are two different ways of diagnosing students’ input that have been realized in a number of intelligent tutoring systems. We describe how Ac...
George Goguadze, Erica Melis