Sciweavers

15840 search results - page 386 / 3168
» The Control of Synchronous Systems
Sort
View
148
Voted
CDC
2010
IEEE
129views Control Systems» more  CDC 2010»
14 years 12 months ago
A symbolic approach to controlling piecewise affine systems
Abstract-- We present a computational framework for automatic synthesis of a feedback control strategy for a piecewise affine (PWA) system from a specification given as a Linear Te...
Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Ce...
COMPSAC
2009
IEEE
15 years 11 months ago
System Safety Requirements as Control Structures
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
Zhe Chen, Gilles Motet
CASES
2007
ACM
15 years 9 months ago
Cache leakage control mechanism for hard real-time systems
Leakage energy consumption is an increasingly important issue as the technology continues to shrink. Since on-chip caches constitute a major portion of the processor's transi...
Jaw-Wei Chi, Chia-Lin Yang, Yi-Jung Chen, Jian-Jia...
CDC
2009
IEEE
133views Control Systems» more  CDC 2009»
15 years 8 months ago
A general architecture for reliable decentralized supervisory control of discrete event systems
In this paper, we study the reliable decentralized supervisory control of discrete event systems (DESs) under the general architecture, in which the decision for controllable event...
Fuchun Liu, Hai Lin
AUTOMATICA
1999
82views more  AUTOMATICA 1999»
15 years 4 months ago
Controllers for reachability specifications for hybrid systems
The problem of systematically synthesizing hybrid controllers which satisfy multiple control objectives is considered. We present a technique, based on the principles of optimal c...
John Lygeros, Claire Tomlin, Shankar Sastry