2838 search results - page 88 / 568 » Verifying Controlled Components |
ICCAD
1997
IEEE
14 years 1 months ago
1997
IEEE
This paper presents a new approach to hierarchical high-level synthesis with respect to internal register-transfer structures of complex components. Entire subdesigns can efficie...
TSMC
2010
13 years 3 months ago
2010
This paper proposes modeling the rapidly evolving energy systems as cyber-based physical systems. It introduces a novel cyber-based dynamical model whose mathematical description d...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— We develop decentralized controllers for a team of disk-shaped robots to converge to and circulate along the boundary of a desired two-dimensional geometric pattern specified ...
SAFECOMP
1999
Springer
14 years 1 months ago
1999
Springer
Microprocessor-based systems are increasingly used to control safety-critical systems (e.g., air and railway traffic control, nuclear plant control, aircraft and car control). In t...
AUTOMATICA
2008
13 years 9 months ago
2008
In this paper stabilization of nonlinear systems with quadratic multi-input is considered. With the help of control Lyapunov function (CLF), a constructive parameterization of con...