663 search results - page 16 / 133 » Synthesis of Self-Testable Controllers |
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
88
Voted
DAC
2009
ACM
16 years 20 days ago
2009
ACM
At runtime, an embedded control system can switch between alternative functional modes. In each mode, the system operates by using a schedule and controllers that exploit the avai...
117
Voted
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
Many embedded control systems comprise several control loops that are closed over a network of computation nodes. In such systems, complex timing behavior and communication lead t...
FM
1999
Springer
15 years 4 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...
81
Voted
AUTOMATICA
2002
14 years 11 months ago
2002
Probabilistic robustness analysis and synthesis for nonlinear systems with uncertain parameters are presented. Monte Carlo simulation is used to estimate the likelihood of system ...