Sciweavers

5600 search results - page 42 / 1120
» Synthesizing robust systems
Sort
View
HYBRID
1994
Springer
13 years 11 months ago
DEVS Framework for Modelling, Simulation, Analysis, and Design of Hybrid Systems
We make the case that Discrete Event System Speci cation DEVS is a universal formalismfor discrete event dynamical systems DEDS. DEVS o ers an expressive framework for modelling, ...
Bernard P. Zeigler, Hae Sang Song, Tag Gon Kim, He...
IEICET
2006
79views more  IEICET 2006»
13 years 7 months ago
Synthesis of Nonautonomous Systems with Specified Limit Cycles
Abstract--This paper deals with a synthesis of a nonautonomous system with a stable limit cycle. By extending Green's method, by which arbitrary periodic solutions can be desi...
Atsuko Ohno, Toshimitsu Ushio, Masakazu Adachi
FMCO
2005
Springer
116views Formal Methods» more  FMCO 2005»
14 years 1 months ago
Control of Modular and Distributed Discrete-Event Systems
Control of modular and distributed discrete-event systems appears as an approach to handle computational complexity of synthesizing supervisory controllers for large scale systems....
Jan Komenda, Jan H. van Schuppen
CDC
2010
IEEE
124views Control Systems» more  CDC 2010»
13 years 2 months ago
A relaxation of Lyapunov conditions and controller synthesis for discrete-time periodic systems
This paper proposes a novel approach to stability analysis and controller synthesis for discrete-time periodically time-varying systems. Firstly, a relaxation of standard Lyapunov ...
Christoph Bohm, Mircea Lazar, Frank Allgöwer
FDL
2005
IEEE
14 years 1 months ago
Hardware Synthesis of Parallel Machines from SystemC
Heterogeneous system specifications implicitly assume parallel execution of their components that rely on supporting platform architectures and operating systems. Unfortunately, c...
Antoni Portero, Lluis Ribas, Jordi Carrabina