575 search results - page 16 / 115 » Controller Synthesis for Probabilistic Systems |
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
We extend an existing model-based framework for supervisory control synthesis with generalized control and verification state-based requirements. The former stem from the need for ...
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract— A partial feedback control scheme with a probabilistic fuzzy estimator (PFE) is presented for the robust control of quantum systems. In this scheme, a probabilistic fuz...
HYBRID
2009
Springer
14 years 2 months ago
2009
Springer
ETFA
2006
IEEE
14 years 1 months ago
2006
IEEE
New technological trends lead to the increasing use of network technologies in automation. Especially the Ethernet with TCP/IP and wireless networks find growing acceptance. The r...
AUTOMATICA
2008
13 years 8 months ago
2008
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of ...