Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
DEDS
2007
109views more  DEDS 2007»
11 years 8 months ago
Concurrent Secrets
— Given a finite state system with partial observers and for each observer, a regular set of trajectories which we call a secret, we consider the question whether the observers ...
Eric Badouel, Marek A. Bednarczyk, Andrzej M. Borz...
DEDS
2007
111views more  DEDS 2007»
11 years 8 months ago
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence
This paper presents a general framework for efficient synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of p...
Hugo Flordal, Robi Malik, Martin Fabian, Knut &Ari...
DEDS
2007
68views more  DEDS 2007»
11 years 8 months ago
Stable Model Predictive Control for Constrained Max-Plus-Linear Systems
Ion Necoara, Bart De Schutter, Ton J. J. van den B...
DEDS
2007
104views more  DEDS 2007»
11 years 8 months ago
Trellis Processes : A Compact Representation for Runs of Concurrent Systems
The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offlin...
Eric Fabre
DEDS
2007
72views more  DEDS 2007»
11 years 8 months ago
Efficient PAC Learning for Episodic Tasks with Acyclic State Spaces
Spyros A. Reveliotis, Theologos Bountourelis
DEDS
2007
84views more  DEDS 2007»
11 years 8 months ago
Just in Time Control of Constrained ( max , +)-Linear Systems
This paper deals with just in time control of (max, +)-linear systems. The output tracking problem, considered in previous studies, is generalized by considering additional constr...
Laurent Houssin, Sébastien Lahaye, Jean-Lou...
DEDS
2007
62views more  DEDS 2007»
11 years 8 months ago
Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches
Bernard Berthomieu, Didier Lime, Olivier H. Roux, ...
DEDS
2007
87views more  DEDS 2007»
11 years 8 months ago
Diagnosis of Discrete Event Systems Using Decentralized Architectures
Decentralized diagnosis of discrete event systems has received a lot of attention to deal with distributed systems or with systems that may be too large to be diagnosed by one cen...
Yin Wang, Tae-Sic Yoo, Stéphane Lafortune
books