4693 search results - page 135 / 939 » Verifying Hybrid Systems |
81
Voted
HYBRID
2001
Springer
15 years 5 months ago
2001
Springer
In this work we present a novel control design methodology for under-actuated mechanical systems. As part of the design process we use the reachability analysis tool d/dt [ABDM99,D...
112
click to vote
HYBRID
2000
Springer
15 years 4 months ago
2000
Springer
This paper reports on an on-going project to investigate techniques to diagnose complex dynamical systems that are modeled as hybrid systems. In particular, we examine continuous s...
110
click to vote
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract-- This paper focuses on the identification of nonlinear hybrid systems involving unknown nonlinear dynamics. The proposed method extends the framework of [1] by introducin...
92
Voted
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
Grid computing focuses on making use of a very large amount of resources from a large-scale computing environment. It intends to deliver high-performance computing over distribute...
118
Voted
VMCAI
2005
Springer
15 years 6 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...