13717 search results - page 164 / 2744 » Control Systems |
145
click to vote
DSRT
2005
IEEE
15 years 9 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...
134
Voted
SAFECOMP
1999
Springer
15 years 7 months ago
1999
Springer
Microprocessor-based systems are increasingly used to control safety-critical systems (e.g., air and railway traffic control, nuclear plant control, aircraft and car control). In t...
108
Voted
TSMC
2008
15 years 3 months ago
2008
Abstract--An adaptive critic design (ACD)-based damping controller is developed for a thyristor-controlled series capacitor (TCSC) installed in a power system with multiple poorly ...
103
Voted
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
Output-based feedback control of discrete-time hybrid systems is an important problem, as in practice it is rarely the case that the full state variable is available for feedback. ...
126
click to vote
RTSS
2008
IEEE
15 years 9 months ago
2008
IEEE
The wide applications of cyber-physical systems (CPS) call for effective design strategies that optimize the performance of both computing units and physical plants. We study the ...