default search action
13. WODES 2016: Xi'an, China
- Christos G. Cassandras, Alessandro Giua, Zhiwu Li:
13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016. IEEE 2016, ISBN 978-1-5090-4190-9 - Xiang Yin, Stéphane Lafortune
:
On maximal permissiveness in partially-observed discrete event systems: Verification and synthesis. 1-7 - Kai Cai
A new algorithm for computing the supremal relatively observable sublanguage. 8-13 - Lennart Swartjes, Michel A. Reniers
Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors. 14-21 - Kaushik Mallik, Anne-Kathrin Schmuck:
Supervisory controller synthesis for decomposable deterministic context free specification languages. 22-27 - Francis Atampore, Juergen Dingel, Karen Rudie
Automated service composition via supervisory control theory. 28-35 - Fabio L. Baldissera, José E. R. Cury:
Computing continuous control laws for gene regulatory networks within a discrete-event systems approach. 36-43 - Graziana Cavone
Resource planning of intermodal terminals using timed Petri nets. 44-50 - Maria Pia Fanti, Agostino Marcello Mangini
A Petri Net model for fleet sizing of Electric Car Sharing Systems. 51-56 - Ming Liu, Lujun Xu, Shijin Wang, Chengbin Chu:
Efficient algorithm for quay crane scheduling with arbitrary precedence constraint. 57-62 - Fredrik Hagebring, Oskar Wigström, Bengt Lennartson, Simon Ian Ware, Rong Su
Comparing MILP, CP, and A* for multiple stacker crane scheduling. 63-70 - Nina Sundström, Bengt Lennartson:
Rescheduling affected operations - a purely predictive approach. 71-78 - Wassim Mohamed Boussahel, Georg Frey
Priced discrete Automata for modeling energy efficient manufacturing systems. 79-84 - Jan Komenda, Feng Lin:
Modular supervisory control of networked discrete-event systems. 85-90 - Robi Malik, Marcelo Teixeira
Modular supervisor synthesis for extended finite-state machines subject to controllability. 91-96 - Ting Jiao, Yongmei Gan, Guochun Xiao, W. M. Wonham:
Exploiting symmetry of state tree structures for discrete-event systems with parallel components. 97-102 - Jan Komenda, Tomás Masopust
Control of an engineering-structured multilevel discrete-event system. 103-108 - Jeremie Benhamron, John G. Thistle:
Graph transformation as a modelling framework for supervisory control. 109-116 - Juliana Nogueira Vilela, Patrícia N. Pena:
Supervisor abstraction to deal with planning problems in manufacturing systems. 117-122 - Yijie Peng, Michael C. Fu, Jian-Qiang Hu:
Estimating distribution sensitivity using generalized likelihood ratio method. 123-128 - Jianfeng Mao, Christos G. Cassandras
Solving a class of discrete event simulation-based optimization problems using "optimality in probability". 129-134 - Felisa J. Vázquez-Abad, Silvano Bernabel:
Stochastic path optimization for robotic bees using cloud computing. 135-140 - Xinwei Chen, Yorai Wardi, Sudhakar Yalamanchili:
IPA in the loop: Control design for throughput regulation in computer processors. 141-146 - Simon Ware, Rong Su
Incremental scheduling of discrete event systems. 147-152 - Joost Berkhout
Google's PageRank algorithm for ranking nodes in general networks. 153-158 - Jaime A. Fraustro-Valdez, Javier Ruiz-León, Carlos Renato Vázquez
Structural fault diagnosis in Timed Continuous Petri Nets. 159-164 - Ahmed Al-Ajeli, Behzad Bordbar:
Fourier-Motzkin method for failure diagnosis in Petri Net models of discrete event systems. 165-170 - Ben Li, Manel Khlif-Bouassida, Armand Toguyéni:
Diagnosis and diagnosability analysis of labeled Petri nets using reduction rules. 171-176 - Mohamed Ghazel
A customizable railway benchmark to deal with fault diagnosis issues in DES. 177-182 - Touraj Soleymani, Sandra Hirche, John S. Baras:
Optimal self-driven sampling for estimation based on value of information. 183-188 - Simon Ebner, Sebastian Trimpe
Communication rate analysis for event-based state estimation. 189-196 - Yasaman Khazaeni, Christos G. Cassandras
Event excitation for event-driven control and optimization of multi-agent systems. 197-202 - Burak Demirel
Threshold optimization of event-triggered multi-loop control systems. 203-210 - Dipankar Maity
Strategies for two-player differential games with costly information. 211-216 - Carlos E. V. Nunes, Marcos Vicente Moreira
Network codiagnosability of Discrete-Event Systems subject to event communication delays. 217-223 - Shigemasa Takai, Ratnesh Kumar:
Delay bound of inference-based decentralized diagnosis in discrete event systems. 224-229 - Eric Fabre, Loïc Hélouët, Engel Lefaucheux, Hervé Marchand:
Diagnosability of repairable faults. 230-236 - Abderraouf Boussif
A twin-plant based approach for diagnosability analysis of intermittent failures. 237-244 - Mona Noori Hosseini, Bengt Lennartson:
Diagnosability verification using compositional branching bisimulation. 245-250 - Melanie Schuh, Jan Lunze:
Fault-tolerant control of deterministic I/O automata with ambiguous diagnostic result. 251-257 - Dan You, ShouGuang Wang, Carla Seatzu:
A new linear constraint transformation approach for Petri nets with uncontrollable transitions. 258-263 - Yan Yang, Hesuan Hu:
Backward conflict free systems with resources and their distributed control using Petri nets. 264-271 - Huixia Liu, Weimin Wu, Hongye Su, Hongyong Yang:
A polynomial complexity deadlock avoidance method for a class of flexible manufacturing systems. 272-277 - Gaddiel Desirena-Lopez, Carlos Renato Vázquez
On-line scheduling in multiprocessor systems based on continuous control using Timed Continuous Petri Nets. 278-283 - Kamel Barkaoui, Awatef Hicheur, Ahmed Kheldoun, Ding Liu:
Modelling and analyzing home care plans using high-level Petri nets. 284-290 - Jiacun Wang
Cyclic workflow resource requirement analysis and application in healthcare. 291-297 - Lilian Kawakami Carvalho
Detection and prevention of actuator enablement attacks in supervisory control systems. 298-305 - Moez Yeddes:
Enforcing opacity with Orwellian observation. 306-312 - Yin Tong
Supervisory enforcement of current-state opacity with uncomparable observations. 313-318 - Béatrice Bérard, Olga Kouchnarenko
Preserving opacity on Interval Markov Chains under simulation. 319-324 - Melanie Schuh, Jan Lunze:
Tracking control of deterministic I/O automata. 325-331 - Li Xia:
Optimization of parametric policies of Markov decision processes under a variance criterion. 332-337 - Xianghu Meng, Jun Li, Xiangzhong Dai:
Selection of solution strategies for colored traveling salesman problems with different city distribution. 338-342 - Wei Wei, Zheng Wang:
Integrated optimal production and energy control of a single machine and single product-type manufacturing system. 343-348 - Liping Bai, Naiqi Wu, ZhiWu Li, MengChu Zhou:
Buffer space configuration and scheduling analysis of single-arm multi-cluster tools. 349-354 - Zicheng Liu, Naiqi Wu, FaJun Yang, Yan Qiao:
Optimal scheduling of time-constrained single-arm cluster tools with wafer revisiting. 355-360 - Xiang Yin, Stéphane Lafortune
On two-way observer and its application to the verification of infinite-step and K-step opacity. 361-366 - Christoforos N. Hadjicostis, Carla Seatzu:
Decentralized state estimation in discrete event systems under partially ordered observation sequences. 367-372 - Mariam Ibrahim, Jun Chen, Ratnesh Kumar:
Quantification of distributed secrecy loss in stochastic discrete event systems under bounded-delay communications. 373-378 - Christoforos Keroglou
Probabilistic system opacity in discrete event systems. 379-384 - Mariam Ibrahim, Jun Chen, Ratnesh Kumar:
A resiliency measure for electrical power systems. 385-390 - Julien Niguez, Saïd Amari, Jean-Marc Faure:
Analysis of Timed Automata with Guards in dioids algebra. 391-397 - Jia Xu, Lucian Busoniu
Receding-horizon control for max-plus linear systems with discrete actions using optimistic planning. 398-403 - Ying Shang, Laurent Hardouin, Mehdi Lhommeau
Robust controllers in disturbance decoupling of uncertain max-plus linear systems: an application to a high throughput screening system for drug discovery. 404-409 - Soraia Moradi, Laurent Hardouin, Jörg Raisch:
Modeling and control of resource sharing problems in dioids. 410-417 - Hakima Hamri, Redouane Kara
Multiparametric predictive control for a class of Discrete Event Systems. 418-423 - Florian Göbe, Thomas Timmermanns, Oliver Ney, Stefan Kowalewski:
Synthesis Tool for Automation Controller Supervision. 424-431 - Dimitri Bohlender, Hendrik Simon, Nico Friedrich, Stefan Kowalewski, Stefan Hauck-Stattelmann:
Concolic test generation for PLC programs using coverage metrics. 432-437 - Robi Malik:
Programming a fast explicit conflict checker. 438-443 - Markus Zgorzelski, Jan Lunze:
A method for the synchronisation of networked discrete-event systems. 444-451 - Marius Kloetzer
Multi-robot path planning for syntactically co-safe LTL specifications. 452-458 - Lorenzo Capra
A pure SPEC-inscribed PN model for reconfigurable systems. 459-465 - Dimitri Lefebvre:
Deadlock-free scheduling for timed Petri net models combined with MPC and backtracking. 466-471 - Rabah Ammour
Faults prognosis using partially observed stochastic Petri nets. 472-477 - Francesco Basile
Identification of labeled Time Petri nets. 478-485 - Francesco Basile
Faulty model identification in deterministic labeled Time Petri nets. 486-492 - Manuel Navarro-Gutiérrez
Discontinuities and non-monotonicities in Mono-T-Semiflow timed continuous Petri nets. 493-500
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-11-22 19:31 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: