WODES - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 291

2016

Fourier-Motzkin method for failure diagnosis in Petri Net models of discrete event systemsAhmed Al-Ajeli, Behzad Bordbar. wodes 2016: 165-170 [doi]

Faults prognosis using partially observed stochastic Petri netsR. Ammour, Edouard Leclercq, E. Sanlaville, Dimitri Lefebvre. wodes 2016: 472-477 [doi]

Automated service composition via supervisory control theoryFrancis Atampore, Juergen Dingel, Karen Rudie. wodes 2016: 28-35 [doi]

Buffer space configuration and scheduling analysis of single-arm multi-cluster toolsLiping Bai, Naiqi Wu, Zhiwu Li, MengChu Zhou. wodes 2016: 349-354 [doi]

Computing continuous control laws for gene regulatory networks within a discrete-event systems approachFabio L. Baldissera, José E. R. Cury. wodes 2016: 36-43 [doi]

Modelling and analyzing home care plans using high-level Petri netsKamel Barkaoui, Awatef Hicheur, Ahmed Kheldoun, Ding Liu. wodes 2016: 284-290 [doi]

Faulty model identification in deterministic labeled Time Petri netsFrancesco Basile, Pasquale Chiacchio, Jolanda Coppola. wodes 2016: 486-492 [doi]

Identification of labeled Time Petri netsFrancesco Basile, Pasquale Chiacchio, Jolanda Coppola. wodes 2016: 478-485 [doi]

Graph transformation as a modelling framework for supervisory controlJeremie Benhamron, John G. Thistle. wodes 2016: 109-116 [doi]

Google's PageRank algorithm for ranking nodes in general networksJoost Berkhout. wodes 2016: 153-158 [doi]

Concolic test generation for PLC programs using coverage metricsDimitri Bohlender, Hendrik Simon, Nico Friedrich, Stefan Kowalewski, Stefan Hauck-Stattelmann. wodes 2016: 432-437 [doi]

Priced discrete Automata for modeling energy efficient manufacturing systemsWassim Mohamed Boussahel, Georg Frey. wodes 2016: 79-84 [doi]

A twin-plant based approach for diagnosability analysis of intermittent failuresAbderraouf Boussif, Baisi Liu, Mohamed Ghazel. wodes 2016: 237-244 [doi]

Preserving opacity on Interval Markov Chains under simulationBéatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas. wodes 2016: 319-324 [doi]

A new algorithm for computing the supremal relatively observable sublanguageKai Cai, W. Murray Wonham. wodes 2016: 8-13 [doi]

A pure SPEC-inscribed PN model for reconfigurable systemsLorenzo Capra. wodes 2016: 459-465 [doi]

Detection and prevention of actuator enablement attacks in supervisory control systemsLilian Kawakami Carvalho, Yi-Chin Wu, Raymond Kwong, Stéphane Lafortune. wodes 2016: 298-305 [doi]

13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016Christos G. Cassandras, Alessandro Giua, Zhiwu Li, editors, IEEE, 2016. [doi]

Resource planning of intermodal terminals using timed Petri netsGraziana Cavone, Mariagrazia Dotoli, Carla Seatzu. wodes 2016: 44-50 [doi]

IPA in the loop: Control design for throughput regulation in computer processorsX. Chen, Yorai Wardi, Sudhakar Yalamanchili. wodes 2016: 141-146 [doi]

Threshold optimization of event-triggered multi-loop control systemsBurak Demirel, Vijay Gupta, Daniel E. Quevedo, Mikael Johansson. wodes 2016: 203-210 [doi]

On-line scheduling in multiprocessor systems based on continuous control using Timed Continuous Petri NetsGaddiel Desirena-Lopez, Carlos Renato Vázquez, José Luis Briz, Antonio Ramírez-Treviño, David Gomez-Gutierrez. wodes 2016: 278-283 [doi]

Communication rate analysis for event-based state estimationSimon Ebner, Sebastian Trimpe. wodes 2016: 189-196 [doi]

Diagnosability of repairable faultsEric Fabre, Loïc Hélouët, Engel Lefaucheux, Hervé Marchand. wodes 2016: 230-236 [doi]

A Petri Net model for fleet sizing of Electric Car Sharing SystemsMaria Pia Fanti, Agostino Marcello Mangini, Giovanni Pedroncelli, Walter Ukovich. wodes 2016: 51-56 [doi]

Structural fault diagnosis in Timed Continuous Petri NetsJ. A. Fraustro, Javier Ruiz-León, Carlos Renato Vázquez, Antonio Ramírez-Treviño. wodes 2016: 159-164 [doi]

A customizable railway benchmark to deal with fault diagnosis issues in DESMohamed Ghazel, Baisi Liu. wodes 2016: 177-182 [doi]

Synthesis Tool for Automation Controller SupervisionFlorian Gobe, Thomas Timmermanns, Oliver Ney, Stefan Kowalewski. wodes 2016: 424-431 [doi]

Decentralized state estimation in discrete event systems under partially ordered observation sequencesChristoforos N. Hadjicostis, Carla Seatzu. wodes 2016: 367-372 [doi]

Comparing MILP, CP, and A* for multiple stacker crane schedulingFredrik Hagebring, Oskar Wigström, Bengt Lennartson, Simon Ian Ware, Rong Su. wodes 2016: 63-70 [doi]

Multiparametric predictive control for a class of Discrete Event SystemsHakima Hamri, Redouane Kara, Saïd Amari. wodes 2016: 418-423 [doi]

Diagnosability verification using compositional branching bisimulationMona Noori Hosseini, Bengt Lennartson. wodes 2016: 245-250 [doi]

Quantification of distributed secrecy loss in stochastic discrete event systems under bounded-delay communicationsMariam Ibrahim, Jun Chen, Ratnesh Kumar. wodes 2016: 373-378 [doi]

A resiliency measure for electrical power systemsMariam Ibrahim, Jun Chen, Ratnesh Kumar. wodes 2016: 385-390 [doi]

Exploiting symmetry of state tree structures for discrete-event systems with parallel componentsTing Jiao, Yongmei Gan, Guochun Xiao, W. M. Wonham. wodes 2016: 97-102 [doi]

Probabilistic system opacity in discrete event systemsChristoforos Keroglou, Christoforos N. Hadjicostis. wodes 2016: 379-384 [doi]

Event excitation for event-driven control and optimization of multi-agent systemsYasaman Khazaeni, Christos G. Cassandras. wodes 2016: 197-202 [doi]

Multi-robot path planning for syntactically co-safe LTL specificationsMarius Kloetzer, Cristian Mahulea. wodes 2016: 452-458 [doi]

Control of an engineering-structured multilevel discrete-event systemJan Komenda, Tomás Masopust, Jan H. van Schuppen. wodes 2016: 103-108 [doi]

Modular supervisory control of networked discrete-event systemsJan Komenda, Feng Lin. wodes 2016: 85-90 [doi]

Deadlock-free scheduling for timed Petri net models combined with MPC and backtrackingDimitri Lefebvre. wodes 2016: 466-471 [doi]

Diagnosis and diagnosability analysis of labeled Petri nets using reduction rulesBen Li, Manel Khlif-Bouassida, Armand Toguyéni. wodes 2016: 171-176 [doi]

Optimal scheduling of time-constrained single-arm cluster tools with wafer revisitingZicheng Liu, Naiqi Wu, FaJun Yang, Yan Qiao. wodes 2016: 355-360 [doi]

Efficient algorithm for quay crane scheduling with arbitrary precedence constraintMing Liu, Lujun Xu, Shijin Wang, Chengbin Chu. wodes 2016: 57-62 [doi]

A polynomial complexity deadlock avoidance method for a class of flexible manufacturing systemsHuixia Liu, Weimin Wu, Hongye Su, Hongyong Yang. wodes 2016: 272-277 [doi]

Strategies for two-player differential games with costly informationDipankar Maity, John S. Baras. wodes 2016: 211-216 [doi]

Programming a fast explicit conflict checkerRobi Malik. wodes 2016: 438-443 [doi]

Modular supervisor synthesis for extended finite-state machines subject to controllabilityRobi Malik, Marcelo Teixeira. wodes 2016: 91-96 [doi]

Supervisory controller synthesis for decomposable deterministic context free specification languagesKaushik Mallik, Anne-Kathrin Schmuck. wodes 2016: 22-27 [doi]

Solving a class of discrete event simulation-based optimization problems using "optimality in probability"Jianfeng Mao, Christos G. Cassandras. wodes 2016: 129-134 [doi]

Selection of solution strategies for colored traveling salesman problems with different city distributionXianghu Meng, Jun Li 0001, Xiangzhong Dai. wodes 2016: 338-342 [doi]

Modeling and control of resource sharing problems in dioidsSoraia Moradi, Laurent Hardouin, Jörg Raisch. wodes 2016: 410-417 [doi]

Discontinuities and non-monotonicities in Mono-T-Semiflow timed continuous Petri netsManuel Navarro-Gutierrez, Antonio Ramírez-Treviño, Manuel Silva. wodes 2016: 493-500 [doi]

Analysis of Timed Automata with Guards in dioids algebraJulien Niguez, Saïd Amari, Jean-Marc Faure. wodes 2016: 391-397 [doi]

Network codiagnosability of Discrete-Event Systems subject to event communication delaysCarlos E. V. Nunes, Marcos Vicente Moreira, Marcos Vinícius Silva Alves, João Carlos Basilio. wodes 2016: 217-223 [doi]

Estimating distribution sensitivity using generalized likelihood ratio methodYijie Peng, Michael C. Fu, Jian-Qiang Hu. wodes 2016: 123-128 [doi]

Fault-tolerant control of deterministic I/O automata with ambiguous diagnostic resultMelanie Schuh, Jan Lunze. wodes 2016: 251-257 [doi]

Tracking control of deterministic I/O automataMelanie Schuh, Jan Lunze. wodes 2016: 325-331 [doi]

Robust controllers in disturbance decoupling of uncertain max-plus linear systems: an application to a high throughput screening system for drug discoveryYing Shang, Laurent Hardouin, Mehdi Lhommeau, Carlos Andrey Maia. wodes 2016: 404-409 [doi]

Optimal self-driven sampling for estimation based on value of informationTouraj Soleymani, Sandra Hirche, John S. Baras. wodes 2016: 183-188 [doi]

Rescheduling affected operations - a purely predictive approachNina Sundstrom, Bengt Lennartson. wodes 2016: 71-78 [doi]

Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisorsLennart Swartjes, Michel A. Reniers, D. A. van Beek, Wan J. Fokkink. wodes 2016: 14-21 [doi]

Delay bound of inference-based decentralized diagnosis in discrete event systemsShigemasa Takai, Ratnesh Kumar. wodes 2016: 224-229 [doi]

Supervisory enforcement of current-state opacity with uncomparable observationsYin Tong, Ziyue Ma, Zhiwu Li, Carla Seatzu, Alessandro Giua. wodes 2016: 313-318 [doi]

Supervisor abstraction to deal with planning problems in manufacturing systemsJuliana Nogueira Vilela, Patrícia N. Pena. wodes 2016: 117-122 [doi]

Stochastic path optimization for robotic bees using cloud computingFelisa J. Vázquez-Abad, Silvano Bernabel. wodes 2016: 135-140 [doi]

Cyclic workflow resource requirement analysis and application in healthcareJiacun Wang, Xiaoou Li, GaiYun Liu. wodes 2016: 291-297 [doi]

Incremental scheduling of discrete event systemsSimon Ware, Rong Su. wodes 2016: 147-152 [doi]

Integrated optimal production and energy control of a single machine and single product-type manufacturing systemWei Wei, Zheng Wang. wodes 2016: 343-348 [doi]

Optimization of parametric policies of Markov decision processes under a variance criterionLi Xia. wodes 2016: 332-337 [doi]

Receding-horizon control for max-plus linear systems with discrete actions using optimistic planningJia Xu, Lucian Busoniu, Ton J. J. van den Boom, Bart De Schutter. wodes 2016: 398-403 [doi]

Backward conflict free systems with resources and their distributed control using Petri netsYan Yang, HeSuan Hu. wodes 2016: 264-271 [doi]

Enforcing opacity with Orwellian observationMoez Yeddes. wodes 2016: 306-312 [doi]

On maximal permissiveness in partially-observed discrete event systems: Verification and synthesisXiang Yin, Stéphane Lafortune. wodes 2016: 1-7 [doi]

On two-way observer and its application to the verification of infinite-step and K-step opacityXiang Yin, Stéphane Lafortune. wodes 2016: 361-366 [doi]

A new linear constraint transformation approach for Petri nets with uncontrollable transitionsDan You, ShouGuang Wang, Carla Seatzu. wodes 2016: 258-263 [doi]

A method for the synchronisation of networked discrete-event systemsMarkus Zgorzelski, Jan Lunze. wodes 2016: 444-451 [doi]

2014

A Numerical Analysis of the M/G/1/N Queue with VacationsKarim Abbas, Sofiane Ouazine. wodes 2014: 504-509 [doi]

Bringing Automated Model Checking to PLC Program Development - a CERN Case StudyBorja Fernandez Adiego, Dániel Darvas, Jean-Charles Tournier, Enrique Blanco Viñuela, Víctor M. González Suárez. wodes 2014: 394-399 [doi]

Decentralized Monitors Design for Petri Net ModelsFrancesco Basile, Luigi Piroddi, Roberto Cordone. wodes 2014: 73-79 [doi]

Discrete Controller Synthesis for Infinite State Systems with ReaXNicolas Berthier, Hervé Marchand. wodes 2014: 46-53 [doi]

How Does Perturbation Analysis Work in Finance and Economics?Xi-Ren Cao, Xiangwei Wan. wodes 2014: 253-258 [doi]

A New Hybrid Stochastic Approximation AlgorithmMarie Chau, Huashuai Qu, Michael C. Fu. wodes 2014: 241-246 [doi]

Causality Phenomenon and Compromise Technique for Predictive Control of Timed Event Graphs with Specifications Defined by P-Time Event GraphsPhilippe Declerck. wodes 2014: 99-104 [doi]

The "bound Reaching Problem" on the Fluidization of Timed Petri NetsEstíbaliz Fraca, Jorge Júlvez, Manuel Silva. wodes 2014: 142-148 [doi]

Discriminability Analysis of Supervision Patterns by Net UnfoldingsHoussam-Eddine Gougam, Audine Subias, Yannick Pencolé. wodes 2014: 459-464 [doi]

A Conformance Relation for Model-Based Testing of PLCAnaïs Guignard, Jean-Marc Faure. wodes 2014: 412-419 [doi]

Designing Smart Homes Dedicated to Disabled People Using Modular Discrete Controller SynthesisSébastien Guillet, Bruno Bouchard, Abdenour Bouzouane. wodes 2014: 54-59 [doi]

Integrating Implementation Properties in Analysis of Petri Nets Handling ExceptionsHelene Leroux, Karen Godary-Dejean, David Andreu. wodes 2014: 406-411 [doi]

Natural Projections for the Synthesis of Non-Conflicting Supervisory ControllersThomas Moor. wodes 2014: 300-305 [doi]

Opacity with Orwellian Observers and Intransitive Non-InterferenceJohn Mullins, Moez Yeddes. wodes 2014: 344-349 [doi]

Supervisor Synthesis to Satisfy Safety and Reachability Requirements in Chemical Process ControlBlake C. Rawlings, Ben Christenson, John M. Wassick, B. Erik Ydstie. wodes 2014: 195-200 [doi]

Local Control Law for Live and Bounded Continuous Petri NetsRoberto Ross-León, Antonio Ramírez-Treviño, Javier Ruiz-León, Enrique Aguayo-Lara. wodes 2014: 129-134 [doi]

A Framework for Active Fault-Tolerant Control of Deterministic I/O AutomataMelanie Schmidt, Jan Lunze. wodes 2014: 446-452 [doi]

Automatic Partitioning of DES Models for Distributed Fault Diagnosis PurposesStefan Schneider, Lothar Litz. wodes 2014: 21-26 [doi]

Control Optimization of Discontinuous Hybrid Systems Using EmbeddingMarkus Schori, Thomas J. Böhme, Benjamin Frank, Matthias Schultalbers. wodes 2014: 326-331 [doi]

Symbolic Interpretation and Execution of Extended Finite AutomataMohammad Reza Shoaei, Bengt Lennartson. wodes 2014: 228-234 [doi]

Computation of Supervisors for Fault-Recovery and Repair for Discrete Event SystemsAyse Nur Sulek, Klaus Werner Schmidt. wodes 2014: 428-433 [doi]

An Integrated CP/OR Method for Optimal Control of Modular Hybrid SystemsOskar Wigström, Bengt Lennartson. wodes 2014: 485-491 [doi]

Deadlock Analysis of Generalized Parameterized Discrete Event SystemsMohammad Hadi Zibaeenejad, John G. Thistle. wodes 2014: 370-375 [doi]

Sign in or sign up to see more results.

runs on WebDSL