663 search results - page 55 / 133 » Synthesis of Self-Testable Controllers |
120
Voted
HYBRID
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
133
Voted
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
127
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The semi-automatic or automatic synthesis of robot controller software is both desirable and challenging. Synthesis of rather simple behaviors such as collision avoidance by apply...
118
Voted
HYBRID
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper derives an optimization-based control methodology for networks of switched and hybrid systems in which each mode is governed by a partial differential equatio...
115
Voted
DAC
2000
ACM
16 years 3 months ago
2000
ACM
We propose practical iterated methods for layout density control for CMP uniformity, based on linear programming, Monte-Carlo and greedy algorithms. We experimentally study the tr...