575 search results - page 38 / 115 » Controller Synthesis for Probabilistic Systems |
ISSS
1998
IEEE
14 years 6 days ago
1998
IEEE
In this paper, we propose the target board architecture of a rapid prototyping embedded system based on hardware software codesign. The target board contains a TMS320C30 DSP proce...
HYBRID
2000
Springer
13 years 11 months ago
2000
Springer
In this paper we describe an experimental system called d=dt for approximating reachable states for hybrid systems whose continuous dynamics is de ned by linear di erential equatio...
ETFA
2008
IEEE
14 years 2 months ago
2008
IEEE
The reactivity of Networked Automation Systems (NAS) has direct influence on safety and quality aspects. It can be determined by a response time analysis, which itself can be calc...
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...
SCL
2010
13 years 2 months ago
2010
The stabilization of uncertain LTI/LPV time delay systems with time varying delays by statefeedback controllers is addressed. At the difference of other works in the literature, t...