575 search results - page 56 / 115 » Controller Synthesis for Probabilistic Systems |
109
click to vote
ICDCS
2002
IEEE
15 years 4 months ago
2002
IEEE
Attainment of software performance assurances in open, largely unpredictable environments has recently become an important focus for real-time research. Unlike closed embedded sys...
101
click to vote
SASO
2009
IEEE
15 years 5 months ago
2009
IEEE
—The complexity of distributed computing systems and their increasing interaction with the physical world impose challenging requirements in terms of adaptation, robustness, and ...
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
— We present a method for complexity reduction in reachability analysis and controller synthesis via a Schur-based decomposition for LTI systems. The decomposition yields either ...
AI50
2006
15 years 2 months ago
2006
This case study demonstrates how the synthesis and the analysis of minimal recurrent neural robot control provide insights into the exploration of embodiment. By using structural e...
HASE
2008
IEEE
14 years 11 months ago
2008
IEEE
In this paper, we propose a randomization based technique to verify whether a manufactured chip conforms to its design or is infected by any trojan circuit. A trojan circuit can be...