LCTRTS
2001
Springer
14 years 5 months ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
HYBRID
2003
Springer
14 years 6 months ago
2003
Springer
This paper presents a Hoare-style logic for reasoning about the frequency response of control systems in the continuous-time domain. Two properties, the gain (amplitude) and phase ...
FM
2003
Springer
14 years 6 months ago
2003
Springer
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
ICRA
2003
IEEE
14 years 6 months ago
2003
IEEE
In this paper we describe a low-cost flight control system for a small (60 class) helicopter which is part of a larger project to develop an autonomous flying vehicle. Our appro...
DSN
2003
IEEE
14 years 6 months ago
2003
IEEE
This paper describes the design and evaluation of a robust integrator for software-implemented control systems. The integrator is constructed as a generic component in the Simulin...
SPATIALCOGNITION
2004
Springer
14 years 6 months ago
2004
Springer
Establishing a clean relationship between a robot’s spatial model and natural language components is a non-trivial task, but is key to designing verbally controlled, navigating s...
ICESS
2004
Springer
14 years 6 months ago
2004
Springer
An integrated solution to guarantee real-time requirements in embedded real-time monitor and control systems is presented in this paper. First l task model is abstracted from such ...
EUROCAST
2005
Springer
14 years 6 months ago
2005
Springer
After having designed control systems for real autonomous cars in an urban environment using straight lines as reference [2], we are now trying to build a fuzzy control system base...
ETFA
2005
IEEE
14 years 6 months ago
2005
IEEE
Industrial control systems architectures have been evolving to the decentralization of control tasks. This evolution associated with the time-critical nature of these tasks, incre...
DSRT
2005
IEEE
14 years 6 months ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...