288 search results - page 35 / 58 » Evolved finite state controller for hybrid system |
HYBRID
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— The rapidly increasing complexity of tasks robotic systems are expected to carry out underscores the need for the development of motion planners that can take into account disc...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— In this paper we propose a testing based method for safety/ reachability analysis of stochastic hybrid systems. Testing based methods are characterized by analysis based on the...
RSP
2003
IEEE
14 years 24 days ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
RP
2010
Springer
13 years 5 months ago
2010
Springer
Chrobak (1986) proved that a language accepted by a given nondeterministic finite automaton with one-letter alphabet, i.e., a unary NFA, with n states can be represented as the uni...