Sciweavers

3271 search results - page 90 / 655
» Controlled Multicast Framework
Sort
View
RTSS
1999
IEEE
15 years 8 months ago
A Framework for Scheduler Synthesis
In this paper we present a framework integrating speci cation and scheduler generation for real-time systems. In a rst step, the system, which can include arbitrarily designed tas...
Karine Altisen, Gregor Gößler, Amir Pnu...
CDC
2010
IEEE
126views Control Systems» more  CDC 2010»
14 years 10 months ago
An algebraic framework for quadratic invariance
In this paper, we present a general algebraic framework for analysing decentralized control systems. We consider systems defined by linear fractional functions over a commutative ...
Laurent Lessard, Sanjay Lall
ICRA
1999
IEEE
104views Robotics» more  ICRA 1999»
15 years 8 months ago
Discrete Event Control with Active Events
Abstract--The traditional framework for discrete-event control is extended to include the case of control with active events, in which both the user and the environment have events...
Michael Heymann, Feng Lin, George Meyer, Satya Ran...
132
Voted
PPL
2008
88views more  PPL 2008»
15 years 3 months ago
Evaluating Computational Costs while Handling Data and Control Parallelism
The aim of this work is to introduce a computational costs system associated to a semantic framework for orthogonal data and control parallelism handling. In such a framework a pa...
Sonia Campa
141
Voted
HYBRID
1994
Springer
15 years 7 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...