Sciweavers

15840 search results - page 640 / 3168
» The Control of Synchronous Systems
Sort
View
FM
2003
Springer
107views Formal Methods» more  FM 2003»
16 years 12 days ago
Verifying Emulation of Legacy Mission Computer Systems
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...
Colin J. Fidge
ICRA
1998
IEEE
95views Robotics» more  ICRA 1998»
15 years 11 months ago
Stabilization of Systems with Changing Dynamics by Means of Switching
We present a framework for designing stable control schemes for systems whose dynamics change. The idea is to develop a controller for each of the regions defined by different dyn...
Milos Zefran, Joel W. Burdick
FDL
2004
IEEE
15 years 11 months ago
Predictability in Real-time System Development (1) Semantics Support from Development Languages
With the increasing complexity of real-time control systems, it is important to have sufficient predictability support for a development approach in order to promote the likelihoo...
Jinfeng Huang, Jeroen Voeten, Andre Ventevogel
CDC
2010
IEEE
107views Control Systems» more  CDC 2010»
15 years 2 months ago
Disturbance decoupling of switched linear systems
In this paper we consider disturbance decoupling problems for switched linear systems. We will provide necessary and sufficient conditions for three different versions of disturban...
Evren Yurtseven, W. P. M. H. Heemels, M. Kanat Cam...
HASE
2007
IEEE
16 years 1 months ago
Transformation-Based Library Adaptation for Embedded Systems
Victor L. Winter, Azamatbek Mametjanov, Steven E. ...