1297 search results - page 19 / 260 » Control of systems integrating logic, dynamics, and constrai... |
119
click to vote
CDC
2008
IEEE
15 years 1 months ago
2008
IEEE
This paper is a response to requests from several respected colleagues in academia for a careful writeup of the classical time-optimal control based hybrid controllers that we have...
122
click to vote
SEW
2003
IEEE
15 years 6 months ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
119
click to vote
AAAI
2004
15 years 2 months ago
2004
Many autonomous systems such as mobile robots, UAVs or spacecraft, have limited resource capacities and move in dynamic environments. Performing on-board mission planning and exec...
110
click to vote
DAC
2006
ACM
16 years 2 months ago
2006
ACM
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
104
click to vote
SKG
2006
IEEE
15 years 7 months ago
2006
IEEE
Upper bound constraints are often set when complex scientific or business processes are modelled as grid workflow specifications. However, many existing processes such as climate ...