Sciweavers

DEDS
2007
109views more  DEDS 2007»
13 years 11 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»
13 years 11 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»
13 years 11 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»
13 years 11 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»
13 years 11 months ago
Efficient PAC Learning for Episodic Tasks with Acyclic State Spaces
Spyros A. Reveliotis, Theologos Bountourelis
DEDS
2007
84views more  DEDS 2007»
13 years 11 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»
13 years 11 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»
13 years 11 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