16 search results - page 1 / 4 » Reachability analysis for continuous systems under shared co... |
CDC
2009
IEEE
13 years 9 months ago
2009
IEEE
— We extend techniques for a reachability-based ion to continuous systems under shared control, that is, systems which have both inputs controlled by the automation and inputs co...
HYBRID
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...
DSVIS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
CHI
2004
ACM
14 years 5 months ago
2004
ACM
We present a method for performing selection tasks based on continuous control of multiple, competing agents who try to determine the user's intentions from their control beh...
ALMOB
2006
13 years 4 months ago
2006
Background: Bifurcation analysis has proven to be a powerful method for understanding the qualitative behavior of gene regulatory networks. In addition to the more traditional for...