Sciweavers

2800 search results - page 34 / 560
» Fibrational Control Structures
Sort
View
AUTOMATICA
2008
59views more  AUTOMATICA 2008»
13 years 10 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...
CNL
2009
13 years 11 months ago
The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts
Abstract. This paper discusses the semi-formal language of mathematics and presents the Naproche CNL, a controlled natural language for mathematical authoring. Proof Representation...
Marcos Cramer, Bernhard Fisseni, Peter Koepke, Dan...
CDC
2009
IEEE
103views Control Systems» more  CDC 2009»
14 years 3 months ago
A new decentralization technique for interconnected systems
— This paper deals with LTI interconnected systems whose subsystems have coupled dynamics. The objective is to decentralize a given centralized controller satisfying some prescri...
Javad Lavaei
CDC
2008
IEEE
141views Control Systems» more  CDC 2008»
14 years 4 months ago
Generalized linear dynamic factor models - a structure theory
— In this paper we present a structure theory for generalized linear dynamic factor models (GDFM’s). Emphasis is laid on the so-called zeroless case. GDFM’s provide a way of ...
Brian D. O. Anderson, Manfred Deistler
DATE
2005
IEEE
129views Hardware» more  DATE 2005»
14 years 4 months ago
Hardware Support for Arbitrarily Complex Loop Structures in Embedded Applications
In this paper, the program control unit of an embedded RISC processor is enhanced with a novel zerooverhead loop controller (ZOLC) supporting arbitrary loop structures with multip...
Nikolaos Kavvadias, Spiridon Nikolaidis