Sciweavers

15840 search results - page 446 / 3168
» The Control of Synchronous Systems
Sort
View
DEDS
1998
82views more  DEDS 1998»
15 years 6 months ago
Synthesis and Viability of Minimally Interventive Legal Controllers for Hybrid Systems
In this paper, we study the control of Composite Hybrid Machines (CHMs) subject to safety speci cations. CHMs are a fairly general class of hybrid systems modeled in modular fashi...
Michael Heymann, Feng Lin, George Meyer
219
Voted
ECRTS
2006
IEEE
16 years 24 days ago
Hierarchical Control of Multiple Resources in Distributed Real-time and Embedded Systems
There is an increasing demand to introduce adaptive capabilities in distributed real-time and embedded (DRE) systems that execute in open environments where system operational con...
Nishanth Shankaran, Xenofon D. Koutsoukos, Douglas...
SCM
1998
15 years 8 months ago
PRCS: The Project Revision Control System
PRCS is an attempt to provide a version-control system for collections of les with a simple operational model, a clean user interface, and high performance. PRCS is characterized b...
Josh MacDonald, Paul N. Hilfinger, Luigi Semenzato
147
Voted
CDC
2008
IEEE
111views Control Systems» more  CDC 2008»
16 years 1 months ago
A separation principle for linear switching systems and parametrization of all stabilizing controllers
In this paper, we investigate the problem of designing a switching compensator for a plant switching amongst a (finite) family of given configurations (Ai,Bi,Ci). We assume that...
Franco Blanchini, Stefano Miani, Fouad Mesquine
168
Voted
AUTOMATICA
2000
94views more  AUTOMATICA 2000»
15 years 6 months ago
Mutually nonblocking supervisory control of discrete event systems
For discrete event systems, modular supervisory control refers to modular design of a supervisor when multiple control specifications are given. This problem has been studied for ...
M. Fabian, R. Kumar