WODES

Publications

2016

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)
Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas
Preserving opacity on Interval Markov Chains under simulation. WODES (2016)
Xiang Yin, Stéphane Lafortune
On maximal permissiveness in partially-observed discrete event systems: Verification and synthesis. WODES (2016)
Jeremie Benhamron, John G. Thistle
Graph transformation as a modelling framework for supervisory control. WODES (2016)
Francesco Basile, Pasquale Chiacchio, Jolanda Coppola
Identification of labeled Time Petri nets. WODES (2016)
Huixia Liu, Weimin Wu, Hongye Su, Hongyong Yang
A polynomial complexity deadlock avoidance method for a class of flexible manufacturing systems. WODES (2016)
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)
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)
Kai Cai, Walter Murray Wonham
A new algorithm for computing the supremal relatively observable sublanguage. WODES (2016)
Dimitri Lefebvre
Deadlock-free scheduling for timed Petri net models combined with MPC and backtracking. WODES (2016)
Christoforos Keroglou, Christoforos N. Hadjicostis
Probabilistic system opacity in discrete event systems. WODES (2016)
Xianghu Meng, Jun Li, Xiangzhong Dai
Selection of solution strategies for colored traveling salesman problems with different city distribution. WODES (2016)
Liping Bai, Naiqi Wu, ZhiWu Li, MengChu Zhou
Buffer space configuration and scheduling analysis of single-arm multi-cluster tools. WODES (2016)
Kaushik Mallik, Anne-Kathrin Schmuck
Supervisory controller synthesis for decomposable deterministic context free specification languages. WODES (2016)
Ming Liu, Lujun Xu, Shijin Wang, Chengbin Chu
Efficient algorithm for quay crane scheduling with arbitrary precedence constraint. WODES (2016)
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)
Ahmed Al-Ajeli, Behzad Bordbar
Fourier-Motzkin method for failure diagnosis in Petri Net models of discrete event systems. WODES (2016)
Lorenzo Capra
A pure SPEC-inscribed PN model for reconfigurable systems. WODES (2016)
Hakima Hamri, Redouane Kara, Saïd Amari
Multiparametric predictive control for a class of Discrete Event Systems. WODES (2016)
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
Control of an engineering-structured multilevel discrete-event system. WODES (2016)
Shigemasa Takai, Ratnesh Kumar
Delay bound of inference-based decentralized diagnosis in discrete event systems. WODES (2016)
Nina Sundström, Bengt Lennartson
Rescheduling affected operations - a purely predictive approach. WODES (2016)
Jianfeng Mao, Christos G. Cassandras
Solving a class of discrete event simulation-based optimization problems using "optimality in probability". WODES (2016)
Jiacun Wang, Xiaoou Li, Gaiyun Liu
Cyclic workflow resource requirement analysis and application in healthcare. WODES (2016)
Burak Demirel, Vijay Gupta, Daniel E. Quevedo, Mikael Johansson
Threshold optimization of event-triggered multi-loop control systems. WODES (2016)
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)
Soraia Moradi, Laurent Hardouin, Jörg Raisch
Modeling and control of resource sharing problems in dioids. WODES (2016)
Francis Atampore, Juergen Dingel, Karen Rudie
Automated service composition via supervisory control theory. WODES (2016)
Yin Tong, Ziyue Ma, Zhiwu Li, Carla Seatzu, Alessandro Giua
Supervisory enforcement of current-state opacity with uncomparable observations. WODES (2016)
Li Xia
Optimization of parametric policies of Markov decision processes under a variance criterion. WODES (2016)
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)
Mariam Ibrahim, Jun Chen, Ratnesh Kumar
A resiliency measure for electrical power systems. WODES (2016)
Marius Kloetzer, Cristian Mahulea
Multi-robot path planning for syntactically co-safe LTL specifications. WODES (2016)
Maria Pia Fanti, Agostino Marcello Mangini, Giovanni Pedroncelli, Walter Ukovich
A Petri Net model for fleet sizing of Electric Car Sharing Systems. WODES (2016)
Juliana Nogueira Vilela, Patrícia N. Pena
Supervisor abstraction to deal with planning problems in manufacturing systems. WODES (2016)
Francesco Basile, Pasquale Chiacchio, Jolanda Coppola
Faulty model identification in deterministic labeled Time Petri nets. WODES (2016)
Joost Berkhout
Google's PageRank algorithm for ranking nodes in general networks. WODES (2016)
Rabah Ammour, Edouard Leclercq, Eric Sanlaville, Dimitri Lefebvre
Faults prognosis using partially observed stochastic Petri nets. WODES (2016)
Simon Ebner, Sebastian Trimpe
Communication rate analysis for event-based state estimation. WODES (2016)
Dan You, ShouGuang Wang, Carla Seatzu
A new linear constraint transformation approach for Petri nets with uncontrollable transitions. WODES (2016)
Dipankar Maity, John S. Baras
Strategies for two-player differential games with costly information. WODES (2016)
Xinwei Chen, Yorai Wardi, Sudhakar Yalamanchili
IPA in the loop: Control design for throughput regulation in computer processors. WODES (2016)
Yan Yang, Hesuan Hu
Backward conflict free systems with resources and their distributed control using Petri nets. WODES (2016)
Graziana Cavone, Mariagrazia Dotoli, Carla Seatzu
Resource planning of intermodal terminals using timed Petri nets. WODES (2016)
Simon Ware, Rong Su
Incremental scheduling of discrete event systems. WODES (2016)
Kamel Barkaoui, Awatef Hicheur, Ahmed Kheldoun, Ding Liu
Modelling and analyzing home care plans using high-level Petri nets. WODES (2016)
Touraj Soleymani, Sandra Hirche, John S. Baras
Optimal self-driven sampling for estimation based on value of information. WODES (2016)
Xiang Yin, Stéphane Lafortune
On two-way observer and its application to the verification of infinite-step and K-step opacity. WODES (2016)
Yijie Peng, Michael C. Fu, Jian-Qiang Hu
Estimating distribution sensitivity using generalized likelihood ratio method. WODES (2016)
Julien Niguez, Saïd Amari, Jean-Marc Faure
Analysis of Timed Automata with Guards in dioids algebra. WODES (2016)