Sciweavers

663 search results - page 19 / 133
» Synthesis of Self-Testable Controllers
Sort
View
AUTOMATICA
2008
59views more  AUTOMATICA 2008»
14 years 11 months ago
Supervisory control of modular systems with global specification languages
The paper presents sufficient conditions for modular (supervisory) control synthesis to equal global control synthesis. In modular control synthesis a supervisory control is synth...
Jan Komenda, Jan H. van Schuppen, Benoit Gaudin, H...
ICCAD
1995
IEEE
114views Hardware» more  ICCAD 1995»
15 years 3 months ago
Sequential synthesis using S1S
Abstract—We propose the use of the logic S1S as a mathematical framework for studying the synthesis of sequential designs. We will show that this leads to simple and mathematical...
Adnan Aziz, Felice Balarin, Robert K. Brayton, Alb...
HYBRID
2001
Springer
15 years 4 months ago
Robust Controller Synthesis for Hybrid Systems Using Modal Logic
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
Thomas Moor, Jennifer M. Davoren
CDC
2008
IEEE
127views Control Systems» more  CDC 2008»
15 years 6 months ago
Distributed control: A sequentially semi-separable approach
— We consider the problem of designing controllers for spatially-varying interconnected systems distributed in one spatial dimension. The matrix structure of such systems can be ...
Justin K. Rice, Michel Verhaegen
ICRA
1999
IEEE
133views Robotics» more  ICRA 1999»
15 years 4 months ago
Control of Flexible-Manufacturing Workcells Using Extended Moore Automata
The modeling and control flexible-manufacturing workcells (FMCs) has generally been performed in a hierarchical structure, where at the highest level they have been modeled as dis...
A. Ramírez, C. Sriskandarajah, Beno Benhabi...