Sciweavers

734 search results - page 36 / 147
» Dynamic programming for impulse controls
Sort
View
APLAS
2005
ACM
14 years 1 months ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot
DFG
2004
Springer
13 years 11 months ago
Verification of PLC Programs Given as Sequential Function Charts
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven ...
CDC
2010
IEEE
116views Control Systems» more  CDC 2010»
13 years 2 months ago
Dynamic reconfiguration of terminal airspace during convective weather
Dynamic airspace configuration (DAC) algorithms strive to restructure the U.S. National Airspace System (NAS) in ways that allow air traffic control to better manage aircraft flows...
Diana Michalek, Hamsa Balakrishnan
IROS
2009
IEEE
143views Robotics» more  IROS 2009»
14 years 2 months ago
Standing balance control using a trajectory library
— This paper presents a standing balance controller. We employ a library of optimal trajectories and the neighboring optimal control method to generate local approximations to th...
Chenggang Liu, Christopher G. Atkeson
CDC
2009
IEEE
217views Control Systems» more  CDC 2009»
14 years 9 days ago
Anti-windup compensation for nonlinear systems via gradient projection: Application to adaptive control
— Control saturation is an important limitation in practical control systems and it is well known that performance degradation or instability may result if this limitation is not...
Justin Teo, Jonathan P. How