default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10. WODES 2010: Berlin, Germany
- Jörg Raisch, Alessandro Giua, Stéphane Lafortune, Thomas Moor:
10th International Workshop on Discrete Event Systems, WODES 2010, Berlin, Germany, August 30 - September 01, 2010. International Federation of Automatic Control 2010, ISBN 978-3-902661-79-1 - Isabel Demongodin
, Alessandro Giua:
Linear programming techniques for analysis and control of batches Petri nets. 1-6 - Carlos Renato Vázquez, Manuel Silva Suárez:
Timing-dependent boundedness and liveness in continuous Petri nets. 7-14 - Elia E. Cano, Carlos A. Rovetto, José Manuel Colom:
An algorithm to compute the minimal siphons in S4PR nets. 15-20 - Jorge Júlvez, Cristian Mahulea:
SimHPN: A MATLAB toolbox for continuous Petri nets. 21-26 - Kai Bollue, Michaela Slaats, Erika Ábrahám, Wolfgang Thomas, Dirk Abel:
Synthesis of behavioral controllers for DES: Increasing efficiency. 27-34 - Farzin Taringoo, Peter E. Caines:
On the geometry of switching manifolds for autonomous hybrid systems. 35-40 - Vadim Azhmyakov, Ruben Velazquez, Rosalba Galván-Guerra:
Numerically stable approximations of optimal control processes associated with a class of switched systems. 41-46 - Alessandro Giua, Carla Seatzu, Yorai Wardi:
IPA for continuous Petri nets. 47-52 - Dmitry Gromov, Peter E. Caines:
Initial investigations of hybrid thermodynamic control systems with phase transitions. 53-58 - Chen Yao, Christos G. Cassandras:
Perturbation analysis of stochastic hybrid systems and applications to some non-cooperative games. 59-64 - Philip Twu, Patrick Martin, Magnus Egerstedt:
Graph process specifications for hybrid networked systems. 65-70 - Francesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi:
Diagnosability of labeled Petri nets via integer linear programming. 71-77 - Anooshiravan Saboori, Christoforos N. Hadjicostis:
Reduced-complexity verification for initial-state opacity in modular discrete event systems. 78-83 - Lilian Kawakami Carvalho, João Carlos Basilio, Marcos Vicente Moreira:
Robust diagnosability of discrete event systems subject to intermittent sensor failures. 84-89 - 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. 90-97 - Klaus Werner Schmidt, Max Hering de Queiroz, José E. R. Cury:
Hierarchical multitasking control of discrete event systems: Computation of projections and maximal permissiveness. 98-103 - Ryan J. Leduc, Robi Malik:
A compositional approach for verifying hierarchical interface-based supervisory control. 104-110 - Jan Komenda, Tomás Masopust:
Supremal normal sublanguages in hierarchical supervisory control. 111-116 - Gábor Kovács, Laurent Piétrac, Éric Niel:
Supervisory control based on multi-face modelling of discrete event systems. 117-122 - Maria Paola Cabasino, Alessandro Giua, Andrea Paoli, Carla Seatzu:
A new protocol for the decentralized diagnosis of labeled Petri nets. 123-128 - 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. 129-134 - Ahmed Khoumsi:
An unifying decision-making framework in discrete-event systems: Application to centralized and decentralized control, diagnosis and prognosis. 135-142 - Lina Ye, Philippe Dague:
An optimized algorithm for diagnosability of component-based systems. 143-148 - Jean-Louis Boimond, Sébastien Lahaye:
On proportional controller in (min; +) algebra. 149-154 - Philippe Declerck:
Trajectory tracking control of a timed event graph with specifications defined by a P-time event graph: On-line control and off-line preparation. 155-160 - Laurent Hardouin, Carlos Andrey Maia, Bertrand Cottenceau, Rafael Santos-Mendes:
Max-plus linear observer: Application to manufacturing systems. 161-166 - Thomas Brunsch, Laurent Hardouin, Jörg Raisch:
Control of cyclically operated high-throughput screening systems. 167-172 - Behrang Monajemi Nejad, Sid Ahmed Attia, Jörg Raisch:
Max-consensus in a max-plus algebraic setting: The case of switching communication topologies. 173-180 - Donald E. Jarvis:
An identification technique for timed event systems. 181-186 - Shaolong Shu, Zhiqiang Huang, Feng Lin:
On-line detection and sensor activation for discrete event systems. 187-192 - Julien Provost, Jean-Marc Roussel, Jean-Marc Faure:
SIC-testability of sequential logic controllers. 193-198 - Klaus Werner Schmidt:
Computation of projections for the abstraction-based diagnosability verification. 199-204 - Shigemasa Takai:
Robust failure diagnosis of partially observed discrete event systems. 205-210 - Stefan Haar:
What topology tells us about diagnosability in partial order semantics. 211-216 - Vera Pantelic, Mark Lawford:
Use of a metric in supervisory control of probabilistic discrete event systems. 217-222 - Hsu-Chun Yen:
On almost-sure properties of probabilistic discrete event systems. 223-228 - Eric Fabre, Loïg Jezequel:
On the construction of probabilistic diagnosers. 229-234 - 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. 235-240 - Bernd Heidergott, Warren Volk-Makarewicz, Felisa J. Vázquez-Abad:
Gradient estimation for quantiles of stationary waiting times. 241-246 - Qing-Shan Jia:
A rollout method for finite-stage event-based decision processes. 247-252 - Thomas Moor, Klaus Schmidt, Sebastian Perk:
Applied supervisory control for a flexible manufacturing system. 253-258 - Yin Wang, Hyoun Kyu Cho, Hongwei Liao, Ahmed Nazeem, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis:
Supervisory control of software execution for failure avoidance: Experience from the Gadara project. 259-266 - Ahmed Nazeem, Spyros A. Reveliotis, Yin Wang, Stéphane Lafortune:
Optimal deadlock avoidance for complex resource allocation systems through classification theory. 267-274 - Sajed Miremadi, Knut Åkesson, Bengt Lennartson, Martin Fabian:
Supervisor computation and representation: A case study. 275-280 - Yan Zhang, Béatrice Bérard, Fabrice Kordon, Yann Thierry-Mieg:
Automated controllability and synthesis with hierarchical set decision diagrams. 281-286 - Jasen Markovski, Koen G. M. Jacobs, Dirk A. van Beek, Lou J. Somers, Jacobus E. Rooda:
Coordination of resources using generalized state-based requirements. 287-292 - Stefan T. J. Forschelen, Joanna M. van de Mortel-Fronczak, Rong Su, Jacobus E. Rooda:
Application of supervisory control theory to theme park vehicles. 293-299 - Boussad Addad, Saïd Amari, Jean-Jacques Lesage:
Linear time-varying (max, +) representation of conflicting timed event graphs. 300-305 - Anne Bouillard, Laurent Jouhet, Eric Thierry:
Comparison of different classes of service curves in network calculus. 306-311 - Pavel Spacek, Jan Komenda:
Modeling of interval P-time Petri nets using dioid algebra. 312-317 - Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond:
Synchronous composition of interval weighted automata. 318-323 - Jose Cerdeira Gonzalez, Roberto Ortiz Garrido, Antonio Eduardo Carrilho da Cunha:
Rotary-wing UAV mission planning aided by supervisory control. 324-330 - Sarah-Jane Whittaker, Karen Rudie, P. James McLellan, Stefan Haar:
Augmenting Petri nets to model health-care protocols. 331-336 - Mustafa Seçkin Durmus, Ugur Yildirim, Aysegul Kursun, Mehmet Turan Söylemez:
Fail-safe signalization design for a railway yard: A level crossing case. 337-342 - Ryan J. Leduc, Yu Wang:
Sampled-data supervisory control. 343-349 - Yannick Nke, Jan Lunze:
Fault-tolerant control of nondeterministic input/output automata subject to actuator faults. 350-355 - Emil Dumitrescu, Alain Girault, Hervé Marchand, Éric Rutten:
Multicriteria optimal reconfiguration of fault-tolerant real-time tasks. 356-363 - Simon Ware, Robi Malik:
Compositional nonblocking verification using annotated automata. 364-369 - Lenko Grigorov, Karen Rudie:
Techniques for the parametrization of discrete-event system templates. 370-375 - Samira S. Farahani, Ton J. J. van den Boom, Hans van der Weide, Bart De Schutter:
An approximation approach for model predictive control of stochastic max-plus linear systems. 376-381 - 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. 382-387 - Glenn Merlet:
Asymptotic throughput of stochastic max-plus linear systems. 388-393 - Ying Shang:
A frequency-domain approach for max-plus linear systems. 394-399 - Euriell Le Corronc, Bertrand Cottenceau, Laurent Hardouin:
Control of uncertain (max, +)-linear systems in order to decrease uncertainty. 400-405 - Patrícia N. Pena, José E. R. Cury, Robi Malik, Stéphane Lafortune:
Efficient computation of observer projections using OP-verifiers. 406-411 - Patrik Magnusson, Martin Fabian, Knut Åkesson:
Modular specification of forbidden states for supervisory control. 412-417 - Philippe Darondeau, Jérémy Dubreil, Hervé Marchand:
Supervisory control for modal specifications of services. 418-425 - Jan Komenda, Tomás Masopust, Jan H. van Schuppen:
Synthesis of safe sublanguages satisfying global specification using coordination scheme for discrete-event systems. 426-431 - Herbert Mangesius, Marion Sobotka, Olaf Stursberg:
Solution of a multi-agent transport problem by hybrid optimization. 432-437 - Miryam Barad, Arkady Cherkassky:
Timed Petri nets perspective on weaving processes. 438-443 - Simona Sacone, Silvia Siri:
Optimal vendor-managed inventory policies in distribution systems with discrete-event processes. 444-449
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
