304 search results - page 19 / 61 » Hybridization methods for the analysis of nonlinear systems |
CDC
2008
IEEE
15 years 8 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...
148
click to vote
RTAS
2008
IEEE
15 years 8 months ago
2008
IEEE
Embedded systems are often subject to constraints that require determinism to ensure that task deadlines are met. Such systems are referred to as real-time systems. Schedulability...
130
Voted
ASAP
2000
IEEE
15 years 6 months ago
2000
IEEE
Sorting long sequences of keys is a problem that occurs in many different applications. For embedded systems, a uniprocessor software solution is often not applicable due to the l...
128
Voted
AAI
2005
15 years 1 months ago
2005
The application of AI planning techniques to manufacturing systems is being widely deployed for all the tasks involved in the process, from product design to production planning an...
120
Voted
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
This paper deals with the existence and synthesis of parameterized-(control) Lyapunov functions (p-(C)LFs) for discrete-time nonlinear systems that are possibly subject to constrai...