| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Carlos E. V. Nunes, Marcos Vicente Moreira, Marcos Vinícius Silva Alves, João Carlos Basilio |
Network codiagnosability of Discrete-Event Systems subject to event communication delays.  |
WODES  |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaddiel Desirena-Lopez, Carlos Renato Vázquez, José Luis Briz, Antonio Ramírez-Treviño, David Gómez-Gutiérrez |
On-line scheduling in multiprocessor systems based on continuous control using Timed Continuous Petri Nets. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Soraia Moradi, Laurent Hardouin, Jörg Raisch |
Modeling and control of resource sharing problems in dioids. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaushik Mallik, Anne-Kathrin Schmuck |
Supervisory controller synthesis for decomposable deterministic context free specification languages. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Capra |
A pure SPEC-inscribed PN model for reconfigurable systems. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Yang, Hesuan Hu |
Backward conflict free systems with resources and their distributed control using Petri nets. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Graziana Cavone, Mariagrazia Dotoli, Carla Seatzu |
Resource planning of intermodal terminals using timed Petri nets. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Niguez, Saïd Amari, Jean-Marc Faure |
Analysis of Timed Automata with Guards in dioids algebra. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Kloetzer, Cristian Mahulea |
Multi-robot path planning for syntactically co-safe LTL specifications. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Berkhout |
Google's PageRank algorithm for ranking nodes in general networks. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas |
Preserving opacity on Interval Markov Chains under simulation. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Komenda, Tomás Masopust, Jan H. van Schuppen |
Control of an engineering-structured multilevel discrete-event system. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Navarro-Gutiérrez, Antonio Ramírez-Treviño, Manuel Silva Suárez |
Discontinuities and non-monotonicities in Mono-T-Semiflow timed continuous Petri nets. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Basile, Pasquale Chiacchio, Jolanda Coppola |
Identification of labeled Time Petri nets. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijie Peng, Michael C. Fu 0001, Jian-Qiang Hu |
Estimating distribution sensitivity using generalized likelihood ratio method. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Nogueira Vilela, Patrícia N. Pena |
Supervisor abstraction to deal with planning problems in manufacturing systems. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Basile, Pasquale Chiacchio, Jolanda Coppola |
Faulty model identification in deterministic labeled Time Petri nets. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremie Benhamron, John G. Thistle |
Graph transformation as a modelling framework for supervisory control. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoforos Keroglou, Christoforos N. Hadjicostis |
Probabilistic system opacity in discrete event systems. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariam Ibrahim, Jun Chen 0002, Ratnesh Kumar 0001 |
A resiliency measure for electrical power systems. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Xianghu Meng, Jun Li 0011, Xiangzhong Dai |
Selection of solution strategies for colored traveling salesman problems with different city distribution. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiacun Wang, Xiaoou Li, Gaiyun Liu |
Cyclic workflow resource requirement analysis and application in healthcare. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Burak Demirel, Vijay Gupta 0001, Daniel E. Quevedo, Mikael Johansson 0001 |
Threshold optimization of event-triggered multi-loop control systems. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiang Yin 0003, Stéphane Lafortune |
On two-way observer and its application to the verification of infinite-step and K-step opacity. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nina Sundström, Bengt Lennartson |
Rescheduling affected operations - a purely predictive approach. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitri Lefebvre |
Deadlock-free scheduling for timed Petri net models combined with MPC and backtracking. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Cai, Walter Murray Wonham |
A new algorithm for computing the supremal relatively observable sublanguage. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Shigemasa Takai, Ratnesh Kumar 0001 |
Delay bound of inference-based decentralized diagnosis in discrete event systems. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianfeng Mao, Christos G. Cassandras |
Solving a class of discrete event simulation-based optimization problems using "optimality in probability". |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Touraj Soleymani, Sandra Hirche, John S. Baras |
Optimal self-driven sampling for estimation based on value of information. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dipankar Maity, John S. Baras |
Strategies for two-player differential games with costly information. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiang Yin 0003, Stéphane Lafortune |
On maximal permissiveness in partially-observed discrete event systems: Verification and synthesis. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Ebner, Sebastian Trimpe |
Communication rate analysis for event-based state estimation. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan You, ShouGuang Wang, Carla Seatzu |
A new linear constraint transformation approach for Petri nets with uncontrollable transitions. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Lilian Kawakami Carvalho, Yi-Chin Wu, Raymond H. Kwong, Stéphane Lafortune |
Detection and prevention of actuator enablement attacks in supervisory control systems. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Al-Ajeli, Behzad Bordbar |
Fourier-Motzkin method for failure diagnosis in Petri Net models of discrete event systems. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rabah Ammour, Edouard Leclercq, Eric Sanlaville, Dimitri Lefebvre |
Faults prognosis using partially observed stochastic Petri nets. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hakima Hamri, Redouane Kara, Saïd Amari |
Multiparametric predictive control for a class of Discrete Event Systems. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Lennart Swartjes, Michel A. Reniers, D. A. van Beek, Wan J. Fokkink |
Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Huixia Liu, Weimin Wu, Hongye Su, Hongyong Yang |
A polynomial complexity deadlock avoidance method for a class of flexible manufacturing systems. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming Liu 0008, Lujun Xu, Shijin Wang 0002, Chengbin Chu |
Efficient algorithm for quay crane scheduling with arbitrary precedence constraint. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yin Tong, Ziyue Ma, Zhiwu Li 0001, Carla Seatzu, Alessandro Giua |
Supervisory enforcement of current-state opacity with uncomparable observations. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Liping Bai, Naiqi Wu, ZhiWu Li 0001, MengChu Zhou |
Buffer space configuration and scheduling analysis of single-arm multi-cluster tools. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaime A. Fraustro-Valdez, Javier Ruiz-León, Carlos Renato Vázquez, Antonio Ramírez-Treviño |
Structural fault diagnosis in Timed Continuous Petri Nets. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Francis Atampore, Juergen Dingel, Karen Rudie |
Automated service composition via supervisory control theory. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Li Xia |
Optimization of parametric policies of Markov decision processes under a variance criterion. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Pia Fanti, Agostino Marcello Mangini, Giovanni Pedroncelli, Walter Ukovich |
A Petri Net model for fleet sizing of Electric Car Sharing Systems. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Xinwei Chen, Yorai Wardi, Sudhakar Yalamanchili |
IPA in the loop: Control design for throughput regulation in computer processors. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamel Barkaoui, Awatef Hicheur, Ahmed Kheldoun, Ding Liu |
Modelling and analyzing home care plans using high-level Petri nets. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Ware, Rong Su 0001 |
Incremental scheduling of discrete event systems. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio L. Baldissera, José E. R. Cury |
Computing continuous control laws for gene regulatory networks within a discrete-event systems approach. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasaman Khazaeni, Christos G. Cassandras |
Event excitation for event-driven control and optimization of multi-agent systems. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Abderraouf Boussif, Baisi Liu, Mohamed Ghazel |
A twin-plant based approach for diagnosability analysis of intermittent failures. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Fredrik Hagebring, Oskar Wigström, Bengt Lennartson, Simon Ian Ware, Rong Su 0001 |
Comparing MILP, CP, and A* for multiple stacker crane scheduling. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Li, Manel Khlif-Bouassida, Armand Toguyéni |
Diagnosis and diagnosability analysis of labeled Petri nets using reduction rules. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Zgorzelski, Jan Lunze |
A method for the synchronisation of networked discrete-event systems. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Felisa J. Vázquez-Abad, Silvano Bernabel |
Stochastic path optimization for robotic bees using cloud computing. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Wassim Mohamed Boussahel, Georg Frey |
Priced discrete Automata for modeling energy efficient manufacturing systems. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia Xu 0007, Lucian Busoniu, Ton J. J. van den Boom, Bart De Schutter |
Receding-horizon control for max-plus linear systems with discrete actions using optimistic planning. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Zicheng Liu 0004, Naiqi Wu, FaJun Yang, Yan Qiao |
Optimal scheduling of time-constrained single-arm cluster tools with wafer revisiting. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Robi Malik, Marcelo Teixeira |
Modular supervisor synthesis for extended finite-state machines subject to controllability. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariam Ibrahim, Jun Chen 0002, Ratnesh Kumar 0001 |
Quantification of distributed secrecy loss in stochastic discrete event systems under bounded-delay communications. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Moez Yeddes |
Enforcing opacity with Orwellian observation. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitri Bohlender, Hendrik Simon, Nico Friedrich, Stefan Kowalewski, Stefan Hauck-Stattelmann |
Concolic test generation for PLC programs using coverage metrics. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoforos N. Hadjicostis, Carla Seatzu |
Decentralized state estimation in discrete event systems under partially ordered observation sequences. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Melanie Schuh, Jan Lunze |
Fault-tolerant control of deterministic I/O automata with ambiguous diagnostic result. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Fabre, Loïc Hélouët, Engel Lefaucheux, Hervé Marchand |
Diagnosability of repairable faults. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Göbe, Thomas Timmermanns, Oliver Ney, Stefan Kowalewski |
Synthesis Tool for Automation Controller Supervision. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ting Jiao, Yongmei Gan, Guochun Xiao, W. M. Wonham |
Exploiting symmetry of state tree structures for discrete-event systems with parallel components. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Komenda, Feng Lin 0001 |
Modular supervisory control of networked discrete-event systems. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Melanie Schuh, Jan Lunze |
Tracking control of deterministic I/O automata. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ying Shang, Laurent Hardouin, Mehdi Lhommeau, Carlos Andrey Maia |
Robust controllers in disturbance decoupling of uncertain max-plus linear systems: an application to a high throughput screening system for drug discovery. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Ghazel, Baisi Liu |
A customizable railway benchmark to deal with fault diagnosis issues in DES. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Wei, Zheng Wang |
Integrated optimal production and energy control of a single machine and single product-type manufacturing system. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mona Noori Hosseini, Bengt Lennartson |
Diagnosability verification using compositional branching bisimulation. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Christos G. Cassandras, Alessandro Giua, Zhiwu Li 0001 (eds.) |
13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016 |
WODES |
2016 |
DBLP BibTeX RDF |
|
| 1 | Robi Malik |
Programming a fast explicit conflict checker. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcos Vinícius Silva Alves, João Carlos Basilio, Antonio Eduardo Carrilho da Cunha, Lilian Kawakami Carvalho, Marcos Vicente Moreira |
Robust Supervisory Control against Intermittent Loss of Observations. |
WODES |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Bertrand Cottenceau, Sébastien Lahaye, Laurent Hardouin |
Modeling of Time-Varying (max, +) Systems by Means of Weighted Timed Event Graphs. |
WODES |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Xu Wang 0019, Cristian Mahulea, Manuel Silva Suárez |
Model Checking on Fault Diagnosis Graph. |
WODES |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Allan van Hulst, Michel A. Reniers, Wan J. Fokkink |
Maximal Synthesis for Hennessy-Milner Logic with the Box Modality. |
WODES |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Estíbaliz Fraca, Jorge Júlvez, Manuel Silva Suárez |
The "bound Reaching Problem" on the Fluidization of Timed Petri Nets. |
WODES |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Yin Tong, Zhiwu Li 0001, Alessandro Giua |
Observation Equivalence of Petri Net Generators. |
WODES |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Melanie Schmidt 0003, Jan Lunze |
A Framework for Active Fault-Tolerant Control of Deterministic I/O Automata. |
WODES |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Basile, Maria Paola Cabasino, Carla Seatzu |
K-Diagnosability of Time Labeled Petri Nets. |
WODES |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Schori, Thomas J. Böhme, Benjamin Frank, Matthias Schultalbers |
Control Optimization of Discontinuous Hybrid Systems Using Embedding. |
WODES |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia Xu 0007, Bart De Schutter, Ton J. J. van den Boom |
Model Predictive Control for Max-Plus-Linear Systems Via Optimistic Optimization. |
WODES |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Karim Abbas, Sofiane Ouazine |
A Numerical Analysis of the M/G/1/N Queue with Vacations. |
WODES |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | GaiYun Liu, Zhiwu Li 0001, Abdulrahman Al-Ahmari |
Liveness Analysis of Petri Nets Using Siphons and Mathematical Programming. |
WODES |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Misato Yokotani, Shigemasa Takai |
Abstraction-Based Verification for Partially Observed Discrete Event Systems. |
WODES |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Chen 0002, Ratnesh Kumar 0001 |
Pattern Mining for Predicting Critical Events from Sequential Event Data Log. |
WODES |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia Lima Fleck, Christos G. Cassandras |
Infinitesimal Perturbation Analysis for Quasi-Dynamic Traffic Light Controllers. |
WODES |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Anaïs Guignard, Jean-Marc Faure |
A Conformance Relation for Model-Based Testing of PLC. |
WODES |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Moor |
Natural Projections for the Synthesis of Non-Conflicting Supervisory Controllers. |
WODES |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Borja Fernandez Adiego, Dániel Darvas, Jean-Charles Tournier, Enrique Blanco Viñuela, Víctor M. González Suárez |
Bringing Automated Model Checking to PLC Program Development - a CERN Case Study. |
WODES |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Berkhout, Bernd Heidergott |
A Series Expansion Approach to Risk Analysis of an Inventory System with Sourcing. |
WODES |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonardo P. M. Santoro, Marcos Vicente Moreira, João Carlos Basilio, Oumar Diene |
Computation of Minimal Diagnosis Bases of Discrete-Event Systems Using Verifiers: Method of the Ambiguous Cyclic Paths. |
WODES |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla Seatzu, Yorai Wardi |
Performance Regulation Via Integral Control in a Class of Stochastic Discrete Event Dynamic Systems. |
WODES |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Houssam-Eddine Gougam, Audine Subias, Yannick Pencolé |
Discriminability Analysis of Supervision Patterns by Net Unfoldings. |
WODES |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Salam Hajjar, Emil Dumitrescu, Laurent Piétrac, Éric Niel |
A Design Method for Synthesizing Control-Command Systems Out of Reusable Components. |
WODES |
2014 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license