share record
persistent URL:
Ahmed Khoumsi : An unifying decision-making framework in discrete-event systems: Application to centralized and decentralized control, diagnosis and prognosis. WODES 2010 : 135-142 share record
persistent URL:
Jan Komenda , Sébastien Lahaye , Jean-Louis Boimond : Synchronous composition of interval weighted automata. WODES 2010 : 318-323 share record
persistent URL:
Jan Komenda , Tomás Masopust : Supremal normal sublanguages in hierarchical supervisory control. WODES 2010 : 111-116 share record
persistent URL:
Jan Komenda , Tomás Masopust , Jan H. van Schuppen : Synthesis of safe sublanguages satisfying global specification using coordination scheme for discrete-event systems. WODES 2010 : 426-431 share record
persistent URL:
Gábor Kovács , Laurent Piétrac , Éric Niel : Supervisory control based on multi-face modelling of discrete event systems. WODES 2010 : 117-122 share record
persistent URL:
Ryan J. Leduc , Robi Malik : A compositional approach for verifying hierarchical interface-based supervisory control. WODES 2010 : 104-110 share record
persistent URL:
Ryan J. Leduc , Yu Wang : Sampled-data supervisory control. WODES 2010 : 343-349 export record
dblp key:
conf/wodes/LefebvreLACK10 share record
persistent URL:
Dimitri Lefebvre , Edouard Leclercq , Nabil El Akchioui , José Eduardo Souza de Cursi , Leila Khalij : A geometric approach for the homothetic approximation of stochastic Petri nets. WODES 2010 : 235-240 share record
persistent URL:
Saulo Telles Souza Lima , João Carlos Basilio , Stéphane Lafortune , Marcos Vicente Moreira : Robust diagnosis of discrete-event systems subject to permanent sensor failures. WODES 2010 : 90-97 share record
persistent URL:
Gabriel A. D. Lopes , Ton J. J. van den Boom , Bart De Schutter , Robert Babuska : Modeling and control of legged locomotion via switching max-plus systems. WODES 2010 : 382-387 share record
persistent URL:
Patrik Magnusson , Martin Fabian , Knut Åkesson : Modular specification of forbidden states for supervisory control. WODES 2010 : 412-417 share record
persistent URL:
Herbert Mangesius , Marion Sobotka , Olaf Stursberg : Solution of a multi-agent transport problem by hybrid optimization. WODES 2010 : 432-437 export record
dblp key:
conf/wodes/MarkovskiJBSR10 share record
persistent URL:
Jasen Markovski , Koen G. M. Jacobs , Dirk A. van Beek , Lou J. Somers , Jacobus E. Rooda : Coordination of resources using generalized state-based requirements. WODES 2010 : 287-292 share record
persistent URL:
Glenn Merlet : Asymptotic throughput of stochastic max-plus linear systems. WODES 2010 : 388-393 share record
persistent URL:
Sajed Miremadi , Knut Åkesson , Bengt Lennartson , Martin Fabian : Supervisor computation and representation: A case study. WODES 2010 : 275-280 share record
persistent URL:
Thomas Moor , Klaus Schmidt , Sebastian Perk : Applied supervisory control for a flexible manufacturing system. WODES 2010 : 253-258 share record
persistent URL:
Ahmed Nazeem , Spyros A. Reveliotis , Yin Wang , Stéphane Lafortune : Optimal deadlock avoidance for complex resource allocation systems through classification theory. WODES 2010 : 267-274 share record
persistent URL:
Behrang Monajemi Nejad , Sid Ahmed Attia , Jörg Raisch : Max-consensus in a max-plus algebraic setting: The case of switching communication topologies. WODES 2010 : 173-180 share record
persistent URL:
Yannick Nke , Jan Lunze : Fault-tolerant control of nondeterministic input/output automata subject to actuator faults. WODES 2010 : 350-355 share record
persistent URL:
Vera Pantelic , Mark Lawford : Use of a metric in supervisory control of probabilistic discrete event systems. WODES 2010 : 217-222 share record
persistent URL:
Patrícia N. Pena , José E. R. Cury , Robi Malik , Stéphane Lafortune : Efficient computation of observer projections using OP-verifiers. WODES 2010 : 406-411 share record
persistent URL:
Julien Provost , Jean-Marc Roussel , Jean-Marc Faure : SIC-testability of sequential logic controllers. WODES 2010 : 193-198 share record
persistent URL:
Jörg Raisch , Thomas Moor , Naim Bajçinca , Stephanie Geist , Vladislav Nenchev : Distributed state estimation for hybrid and discrete event systems using l-complete approximations. WODES 2010 : 129-134 share record
persistent URL:
Anooshiravan Saboori , Christoforos N. Hadjicostis : Reduced-complexity verification for initial-state opacity in modular discrete event systems. WODES 2010 : 78-83 share record
persistent URL:
Simona Sacone , Silvia Siri : Optimal vendor-managed inventory policies in distribution systems with discrete-event processes. WODES 2010 : 444-449 share record
persistent URL:
Klaus Werner Schmidt : Computation of projections for the abstraction-based diagnosability verification. WODES 2010 : 199-204 share record
persistent URL:
Klaus Werner Schmidt , Max Hering de Queiroz , José E. R. Cury : Hierarchical multitasking control of discrete event systems: Computation of projections and maximal permissiveness. WODES 2010 : 98-103 share record
persistent URL:
Ying Shang : A frequency-domain approach for max-plus linear systems. WODES 2010 : 394-399 share record
persistent URL:
Shaolong Shu , Zhiqiang Huang , Feng Lin : On-line detection and sensor activation for discrete event systems. WODES 2010 : 187-192 share record
persistent URL:
Pavel Spacek , Jan Komenda : Modeling of interval P-time Petri nets using dioid algebra. WODES 2010 : 312-317