Abstract is missing.
- Linear programming techniques for analysis and control of batches Petri netsIsabel Demongodin, Alessandro Giua. 1-6 [doi]
- Timing-dependent boundedness and liveness in continuous Petri netsCarlos Renato Vázquez, Manuel Silva. 7-14 [doi]
- An algorithm to compute the minimal siphons in S4PR netsElia E. Cano, Carlos A. Rovetto, José Manuel Colom. 15-20 [doi]
- SimHPN: A MATLAB toolbox for continuous Petri netsJorge Júlvez, Cristian Mahulea. 21-26 [doi]
- Synthesis of behavioral controllers for DES: Increasing efficiencyKai Bollue, Michaela Slaats, Erika Ábrahám, Wolfgang Thomas, Dirk Abel. 27-34 [doi]
- On the geometry of switching manifolds for autonomous hybrid systemsFarzin Taringoo, Peter E. Caines. 35-40 [doi]
- Numerically stable approximations of optimal control processes associated with a class of switched systemsVadim Azhmyakov, Ruben Velazquez, Rosalba Galvan-Guerra. 41-46 [doi]
- IPA for continuous Petri netsAlessandro Giua, Carla Seatzu, Yorai Wardi. 47-52 [doi]
- Initial investigations of hybrid thermodynamic control systems with phase transitionsDmitry Gromov, Peter E. Caines. 53-58 [doi]
- Perturbation analysis of stochastic hybrid systems and applications to some non-cooperative gamesChen Yao, Christos G. Cassandras. 59-64 [doi]
- Graph process specifications for hybrid networked systemsPhilip Twu, Patrick Martin, Magnus Egerstedt. 65-70 [doi]
- Diagnosability of labeled Petri nets via integer linear programmingFrancesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi. 71-77 [doi]
- Reduced-complexity verification for initial-state opacity in modular discrete event systemsAnooshiravan Saboori, Christoforos N. Hadjicostis. 78-83 [doi]
- Robust diagnosability of discrete event systems subject to intermittent sensor failuresLilian Kawakami Carvalho, João Carlos Basilio, Marcos Vicente Moreira. 84-89 [doi]
- Robust diagnosis of discrete-event systems subject to permanent sensor failuresSaulo Telles Souza Lima, João Carlos Basilio, Stéphane Lafortune, Marcos Vicente Moreira. 90-97 [doi]
- Hierarchical multitasking control of discrete event systems: Computation of projections and maximal permissivenessKlaus Werner Schmidt, Max Hering de Queiroz, José E. R. Cury. 98-103 [doi]
- A compositional approach for verifying hierarchical interface-based supervisory controlRyan J. Leduc, Robi Malik. 104-110 [doi]
- Supremal normal sublanguages in hierarchical supervisory controlJan Komenda, Tomás Masopust. 111-116 [doi]
- Supervisory control based on multi-face modelling of discrete event systemsGábor Kovács, Laurent Piétrac, Éric Niel. 117-122 [doi]
- A new protocol for the decentralized diagnosis of labeled Petri netsMaria Paola Cabasino, Alessandro Giua, Andrea Paoli, Carla Seatzu. 123-128 [doi]
- Distributed state estimation for hybrid and discrete event systems using l-complete approximationsJörg Raisch, Thomas Moor, Naim Bajçinca, Stephanie Geist, Vladislav Nenchev. 129-134 [doi]
- An unifying decision-making framework in discrete-event systems: Application to centralized and decentralized control, diagnosis and prognosisAhmed Khoumsi. 135-142 [doi]
- An optimized algorithm for diagnosability of component-based systemsLina Ye, Philippe Dague. 143-148 [doi]
- On proportional controller in (min; +) algebraJean-Louis Boimond, Sébastien Lahaye. 149-154 [doi]
- Trajectory tracking control of a timed event graph with specifications defined by a P-time event graph: On-line control and off-line preparationPhilippe Declerck. 155-160 [doi]
- Max-plus linear observer: Application to manufacturing systemsLaurent Hardouin, Carlos Andrey Maia, Bertrand Cottenceau, Rafael Santos-Mendes. 161-166 [doi]
- Control of cyclically operated high-throughput screening systemsThomas Brunsch, Laurent Hardouin, Jörg Raisch. 167-172 [doi]
- Max-consensus in a max-plus algebraic setting: The case of switching communication topologiesBehrang Monajemi Nejad, Sid Ahmed Attia, Jörg Raisch. 173-180 [doi]
- An identification technique for timed event systemsDonald E. Jarvis. 181-186 [doi]
- On-line detection and sensor activation for discrete event systemsShaolong Shu, Zhiqiang Huang, Feng Lin. 187-192 [doi]
- SIC-testability of sequential logic controllersJulien Provost, Jean-Marc Roussel, Jean-Marc Faure. 193-198 [doi]
- Computation of projections for the abstraction-based diagnosability verificationKlaus Werner Schmidt. 199-204 [doi]
- Robust failure diagnosis of partially observed discrete event systemsShigemasa Takai. 205-210 [doi]
- What topology tells us about diagnosability in partial order semanticsStefan Haar. 211-216 [doi]
- Use of a metric in supervisory control of probabilistic discrete event systemsVera Pantelic, Mark Lawford. 217-222 [doi]
- On almost-sure properties of probabilistic discrete event systemsHsu-Chun Yen. 223-228 [doi]
- On the construction of probabilistic diagnosersEric Fabre, Loïg Jezequel. 229-234 [doi]
- A geometric approach for the homothetic approximation of stochastic Petri netsDimitri Lefebvre, Edouard Leclercq, Nabil El Akchioui, Eduardo Souza De Cursis, Leila Khalij. 235-240 [doi]
- Gradient estimation for quantiles of stationary waiting timesBernd Heidergott, Warren Volk-Makarewicz, Felisa J. Vázquez-Abad. 241-246 [doi]
- A rollout method for finite-stage event-based decision processesQing-Shan Jia. 247-252 [doi]
- Applied supervisory control for a flexible manufacturing systemThomas Moor, Klaus Schmidt, Sebastian Perk. 253-258 [doi]
- Supervisory control of software execution for failure avoidance: Experience from the Gadara projectYin Wang, Hyoun Kyu Cho, Hongwei Liao, Ahmed Nazeem, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis. 259-266 [doi]
- Optimal deadlock avoidance for complex resource allocation systems through classification theoryAhmed Nazeem, Spyros A. Reveliotis, Yin Wang, Stéphane Lafortune. 267-274 [doi]
- Supervisor computation and representation: A case studySajed Miremadi, Knut Åkesson, Bengt Lennartson, Martin Fabian. 275-280 [doi]
- Automated controllability and synthesis with hierarchical set decision diagramsYan Zhang, Béatrice Bérard, Fabrice Kordon, Yann Thierry-Mieg. 281-286 [doi]
- Coordination of resources using generalized state-based requirementsJasen Markovski, Koen G. M. Jacobs, Dirk A. van Beek, Lou J. Somers, Jacobus E. Rooda. 287-292 [doi]
- Application of supervisory control theory to theme park vehiclesStefan T. J. Forschelen, Joanna M. van de Mortel-Fronczak, Rong Su, Jacobus E. Rooda. 293-299 [doi]
- Linear time-varying (max, +) representation of conflicting timed event graphsBoussad Addad, Saïd Amari, Jean-Jacques Lesage. 300-305 [doi]
- Comparison of different classes of service curves in network calculusAnne Bouillard, Laurent Jouhet, Eric Thierry. 306-311 [doi]
- Modeling of interval P-time Petri nets using dioid algebraPavel Spacek, Jan Komenda. 312-317 [doi]
- Synchronous composition of interval weighted automataJan Komenda, Sébastien Lahaye, Jean-Louis Boimond. 318-323 [doi]
- Rotary-wing UAV mission planning aided by supervisory controlJose Cerdeira Gonzalez, Roberto Ortiz Garrido, Antonio Eduardo Carrilho da Cunha. 324-330 [doi]
- Augmenting Petri nets to model health-care protocolsSarah-Jane Whittaker, Karen Rudie, James McLellan, Stefan Haar. 331-336 [doi]
- Fail-safe signalization design for a railway yard: A level crossing caseMustafa Seçkin Durmus, Ugur Yildirim, Aysegul Kursun, Mehmet Turan Söylemez. 337-342 [doi]
- Sampled-data supervisory controlRyan J. Leduc, Yu Wang. 343-349 [doi]
- Fault-tolerant control of nondeterministic input/output automata subject to actuator faultsYannick Nke, Jan Lunze. 350-355 [doi]
- Multicriteria optimal reconfiguration of fault-tolerant real-time tasksEmil Dumitrescu, Alain Girault, Hervé Marchand, Éric Rutten. 356-363 [doi]
- Compositional nonblocking verification using annotated automataSimon Ware, Robi Malik. 364-369 [doi]
- Techniques for the parametrization of discrete-event system templatesLenko Grigorov, Karen Rudie. 370-375 [doi]
- An approximation approach for model predictive control of stochastic max-plus linear systemsSamira S. Farahani, Ton J. J. van den Boom, Hans van der Weide, Bart De Schutter. 376-381 [doi]
- Modeling and control of legged locomotion via switching max-plus systemsGabriel A. D. Lopes, Ton J. J. van den Boom, Bart De Schutter, Robert Babuska. 382-387 [doi]
- Asymptotic throughput of stochastic max-plus linear systemsGlenn Merlet. 388-393 [doi]
- A frequency-domain approach for max-plus linear systemsYing Shang. 394-399 [doi]
- Control of uncertain (max, +)-linear systems in order to decrease uncertaintyEuriell Le Corronc, Bertrand Cottenceau, Laurent Hardouin. 400-405 [doi]
- Efficient computation of observer projections using OP-verifiersPatrícia N. Pena, José E. R. Cury, Robi Malik, Stéphane Lafortune. 406-411 [doi]
- Modular specification of forbidden states for supervisory controlPatrik Magnusson, Martin Fabian, Knut Åkesson. 412-417 [doi]
- Supervisory control for modal specifications of servicesPhilippe Darondeau, Jérémy Dubreil, Hervé Marchand. 418-425 [doi]
- Synthesis of safe sublanguages satisfying global specification using coordination scheme for discrete-event systemsJan Komenda, Tomás Masopust, Jan H. van Schuppen. 426-431 [doi]
- Solution of a multi-agent transport problem by hybrid optimizationHerbert Mangesius, Marion Sobotka, Olaf Stursberg. 432-437 [doi]
- Timed Petri nets perspective on weaving processesMiryam Barad, Arkady Cherkassky. 438-443 [doi]
- Optimal vendor-managed inventory policies in distribution systems with discrete-event processesSimona Sacone, Silvia Siri. 444-449 [doi]