2650 search results - page 122 / 530 » Simulation and Control of Reactive Systems |
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
DFG
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
DSN
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
IJCM
2008
13 years 10 months ago
2008
This paper investigates a learning control using iterative error compensation for uncertain systems to enhance the precision of high speed, computer controlled machining process. ...
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— For a right-invariant and controllable driftless system on SU(n), we consider a time-periodic reference trajectory along which the linearized control system generates s...