# zbMATH — the first resource for mathematics

## Discrete Event Dynamic Systems

### Theory and Applications

 Short Title: Discrete Event Dyn. Syst. Publisher: Springer US, New York, NY ISSN: 0924-6703; 1573-7594/e Online: http://link.springer.com/journal/volumesAndIssues/10626 Comments: Indexed cover-to-cover
 Documents Indexed: 533 Publications (since 1991) References Indexed: 399 Publications with 11,600 References.
all top 5

#### Latest Issues

 30, No. 4 (2020) 30, No. 3 (2020) 30, No. 2 (2020) 30, No. 1 (2020) 29, No. 4 (2019) 29, No. 3 (2019) 29, No. 2 (2019) 29, No. 1 (2019) 28, No. 4 (2018) 28, No. 3 (2018) 28, No. 2 (2018) 28, No. 1 (2018) 27, No. 4 (2017) 27, No. 3 (2017) 27, No. 2 (2017) 27, No. 1 (2017) 26, No. 4 (2016) 26, No. 3 (2016) 26, No. 2 (2016) 26, No. 1 (2016) 25, No. 4 (2015) 25, No. 3 (2015) 25, No. 1-2 (2015) 24, No. 4 (2014) 24, No. 3 (2014) 24, No. 2 (2014) 24, No. 1 (2014) 23, No. 4 (2013) 23, No. 3 (2013) 23, No. 2 (2013) 23, No. 1 (2013) 22, No. 4 (2012) 22, No. 3 (2012) 22, No. 2 (2012) 22, No. 1 (2012) 21, No. 4 (2011) 21, No. 3 (2011) 21, No. 2 (2011) 21, No. 1 (2011) 20, No. 4 (2010) 20, No. 3 (2010) 20, No. 2 (2010) 20, No. 1 (2010) 19, No. 4 (2009) 19, No. 3 (2009) 19, No. 2 (2009) 19, No. 1 (2009) 18, No. 4 (2008) 18, No. 3 (2008) 18, No. 2 (2008) 18, No. 1 (2008) 17, No. 4 (2007) 17, No. 3 (2007) 17, No. 2 (2007) 17, No. 1 (2007) 16, No. 4 (2006) 16, No. 3 (2006) 16, No. 2 (2006) 16, No. 1 (2006) 15, No. 4 (2005) 15, No. 3 (2005) 15, No. 2 (2005) 15, No. 1 (2005) 14, No. 4 (2004) 14, No. 3 (2004) 14, No. 2 (2004) 14, No. 1 (2004) 13, No. 4 (2003) 13, No. 3 (2003) 13, No. 1-2 (2003) 12, No. 4 (2002) 12, No. 3 (2002) 12, No. 2 (2002) 12, No. 1 (2002) 11, No. 4 (2001) 11, No. 3 (2001) 11, No. 1-2 (2001) 10, No. 4 (2000) 10, No. 3 (2000) 10, No. 1-2 (2000) 9, No. 3 (1999) 9, No. 2 (1999) 9, No. 1 (1999) 8, No. 4 (1998) 8, No. 3 (1998) 8, No. 2 (1998) 8, No. 1 (1998) 7, No. 4 (1997) 7, No. 3 (1997) 7, No. 2 (1997) 7, No. 1 (1997) 6, No. 4 (1996) 6, No. 3 (1996) 6, No. 2 (1996) 6, No. 1 (1996) 5, No. 4 (1995) 5, No. 2-3 (1995) 5, No. 1 (1995) 4, No. 4 (1994) 4, No. 3 (1994) ...and 10 more Volumes
all top 5

#### Authors

 26 Lafortune, Stéphane 25 Cassandras, Christos G. 15 Giua, Alessandro 11 Boimond, Jean-Louis 11 Lin, Feng 11 Wonham, W. Murray 10 Lahaye, Sébastien 10 Raisch, Jörg 10 Reveliotis, Spyros A. 9 Gaujal, Bruno 9 Marchand, Hervé 8 De Schutter, Bart 8 Komenda, Jan 8 Rudie, Karen 8 Wardi, Yorai 7 Cao, Xi-Ren 7 Heidergott, Bernd F. 7 Ho, Yu-Chi 7 Teneketzis, Demosthenis 7 van den Boom, Ton J. J. 6 Antsaklis, Panos J. 6 Egerstedt, Magnus B. 6 Malik, Robi 6 Moor, Thomas 6 Shi, Leyuan 6 Yoo, Tae-Sic 5 Chen, E. Jack 5 Chong, Edwin Kah Pin 5 Fabre, Eric 5 Hadjicostis, Christoforos N. 5 Hardouin, Laurent 5 Mahulea, Cristian 5 Roux, Olivier H. 5 Seatzu, Carla 5 Takai, Shigemasa 5 van Schuppen, Jan H. 5 Xie, Xiaolan 5 Zhao, Qianchuan 4 Bouillard, Anne 4 Cury, José Eduardo Ribeiro 4 Declerck, Philippe 4 Gong, Weibo 4 Júlvez, Jorge 4 Khoumsi, Ahmed 4 L’Ecuyer, Pierre 4 Lefebvre, Dimitri 4 Li, Quanlin 4 Mairesse, Jean 4 Mao, Jianfeng 4 Sreenivas, Ramavarapu S. 4 Su, Rong 4 Ushio, Toshimitsu 4 Vázquez-Abad, Felisa J. 4 Xia, Li 4 Zheng, Dazhong 3 Alla, Hassane 3 Altman, Eitan 3 Basilio, João Carlos 3 Benveniste, Albert 3 Boel, René K. 3 Bountourelis, Theologos 3 Cabasino, Maria Paola 3 Cai, Kai 3 Chen, Hanfu 3 Cheng, Yiping 3 Cottenceau, Bertrand 3 Dai, Liyi 3 Debouk, Rami 3 Demongodin, Isabel 3 Fabian, Martin 3 Fu, Bor-Ruey 3 Gokbayrak, Kagan 3 Hiraishi, Kunihiko 3 Holloway, Lawrence E. 3 Jia, Qing-Shan 3 Kumar, Ratnesh R. 3 Lemmon, Michael D. 3 Lesage, Jean-Jacques 3 Li, Zhiwu 3 Lime, Didier 3 Malhamé, Roland P. 3 Martin, Patrick 3 Moreira, Marcos Vicente 3 Moyal, Pascal 3 Panayiotou, Christos G. 3 Pinchinat, Sophie 3 Ramírez-Treviño, Antonio 3 Recalde, Laura 3 Sacone, Simona 3 Sauer, Nathalie 3 Schmuck, Anne-Kathrin 3 Siri, Silvia 3 Subiono, S. 3 Suri, Rajan 3 Tabuada, Paulo 3 Tang, Qianyu 3 Thorsley, David 3 Vakili, Pirooz 3 Van der Woude, Jacob Willem 3 Wang, Yin ...and 687 more Authors
all top 5

#### Fields

 427 Systems theory; control (93-XX) 180 Operations research, mathematical programming (90-XX) 117 Computer science (68-XX) 75 Probability theory and stochastic processes (60-XX) 21 Calculus of variations and optimal control; optimization (49-XX) 21 Information and communication theory, circuits (94-XX) 20 Numerical analysis (65-XX) 19 Combinatorics (05-XX) 17 Linear and multilinear algebra; matrix theory (15-XX) 16 General and overarching topics; collections (00-XX) 10 Mathematical logic and foundations (03-XX) 10 Statistics (62-XX) 9 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Dynamical systems and ergodic theory (37-XX) 3 Biology and other natural sciences (92-XX) 2 Ordinary differential equations (34-XX) 2 Difference and functional equations (39-XX) 2 Approximations and expansions (41-XX) 1 Number theory (11-XX)

#### Citations contained in zbMATH Open

378 Publications have been cited 2,002 times in 1,334 Documents Cited by Year
Simulation budget allocation for further enhancing the efficiency of ordinal optimization. Zbl 0970.90014
Chen, Chun-Hung; Lin, Jianwu; Yücesan, Enver; Chick, Stephen E.
2000
Ordinal optimization of DEDS. Zbl 0754.60133
Ho, Y. C.; Sreenivas, R. S.; Vakili, P.
1992
Coordinated decentralized protocols for failure diagnosis of discrete event systems. Zbl 0959.93039
Debouk, Rami; Lafortune, Stéphane; Teneketzis, Demosthenis
2000
A general architecture for decentralized supervisory control of discrete-event systems. Zbl 1048.93067
Yoo, T.-S.; Lafortune, Stéphane
2002
Eigenvalues of dynamic max-min systems. Zbl 0747.93014
Olsder, Geert Jan
1991
A survey of Petri net methods for controlled discrete event systems. Zbl 0968.93053
Holloway, L. E.; Krogh, B. H.; Giua, A.
1997
Diagnosability of discrete event systems and its applications. Zbl 0800.93030
Lin, Feng
1994
Hierarchical control of discrete-event systems. Zbl 0898.93005
Wong, K. C.; Wonham, W. M.
1996
Min-max functions. Zbl 0841.93029
Gunawardena, Jeremy
1994
Optimal control of hybrid switched systems: a brief survey. Zbl 1328.93137
Zhu, Feng; Antsaklis, Panos J.
2015
Bisimulation, the supervisory control problem and strong model matching for finite state machines. Zbl 0919.93005
Barrett, George; Lafortune, Stéphane
1998
Optimal control of switching surfaces in hybrid dynamical systems. Zbl 1101.93054
Boccadoro, M.; Wardi, Y.; Egerstedt, M.; Verriest, E.
2005
Concurrent secrets. Zbl 1125.93320
Badouel, E.; Bednarczyk, M.; Borzyszkowski, A.; Caillaud, B.; Darondeau, P.
2007
The relations among potentials, perturbation analysis, and Markov decision processes. Zbl 1126.93332
Cao, Xi-Ren
1998
On fluidization of discrete event models: Observation and control of continuous Petri nets. Zbl 1235.93154
Silva, Manuel; Júlvez, Jorge; Mahulea, Cristian; Vázquez, C. Renato
2011
Dynamical properties of timed automata. Zbl 0986.93042
Puri, Anuj
2000
Distributed monitoring of concurrent and asynchronous systems. Zbl 1077.68059
Fabre, Eric; Benveniste, Albert; Haar, Stefan; Jard, Claude
2005
Supervisor reduction for discrete-event systems. Zbl 1035.93048
Su, R.; Wonham, W. M.
2004
Modeling, analysis and optimal control of a class of hybrid systems. Zbl 0915.93027
Pepyne, David L.; Cassandras, Christos G.
1998
Comparative analysis of related notions of opacity in centralized and coordinated architectures. Zbl 1272.93084
Wu, Yi-Chin; Lafortune, Stéphane
2013
Least squares policy evaluation algorithms with linear function approximation. Zbl 1030.93061
Nedić, A.; Bertsekas, D. P.
2003
On the computation of natural observers in discrete-event systems. Zbl 1195.93081
Feng, Lei; Wonham, W. M.
2010
Stability of parallel queueing systems with coupled service rates. Zbl 1184.90048
Borst, Sem; Jonckheere, Matthieu; Leskelä, Lasse
2008
Diagnosis of discrete event systems using decentralized architectures. Zbl 1115.93065
Wang, Yin; Yoo, Tae-Sic; Lafortune, Stéphane
2007
A first step towards adaptive control for linear systems in max algebra. Zbl 0976.93057
Menguy, E.; Boimond, J. L.; Hardouin, L.; Ferrier, J. L.
2000
Basic server semantics and performance monotonicity of continuous Petri nets. Zbl 1169.93367
Mahulea, Cristian; Recalde, Laura; Silva, Manuel
2009
The concert queueing game: to wait or to be late. Zbl 1213.90089
Jain, Rahul; Juneja, Sandeep; Shimkin, Nahum
2011
Actuator saturation and anti-windup compensation in event-triggered control. Zbl 1296.93109
Kiener, Georg Alexander; Lehmann, Daniel; Johansson, Karl Henrik
2014
On-line control of partially observed discrete event systems. Zbl 0811.93004
Heymann, Michael; Lin, Feng
1994
Recent advances in hierarchical reinforcement learning. Zbl 1034.93003
Barto, Andrew G.; Mahadevan, Sridhar
2003
On the computation of observers in discrete-event systems. Zbl 1035.93049
Wong, K. C.; Wonham, W. M.
2004
Asymptotic properties of monotonic nonexpansive mappings. Zbl 1035.93047
Sorin, Sylvain
2004
Analyzing security protocols using time-bounded task-PIOAs. Zbl 1161.93320
Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; Pereira, Olivier; Segala, Roberto
2008
Dynamic setup scheduling and flow control in manufacturing systems. Zbl 0742.90040
Sharifnia, Ali; Caramanis, Michael; Gershwin, Stanley B.
1991
Optimal production planning in a multi-product stochastic manufacturing system with long-run average cost. Zbl 0907.90179
Sethi, S. P.; Suo, W.; Taksar, M. I.; Yan, H.
1998
Basic ideas for event-based optimization of Markov systems. Zbl 1130.90054
Cao, Xiren
2005
Modular control and coordination of discrete-event systems. Zbl 0915.93028
Wong, Kai C.; Wonham, M. Murray
1998
Approximate simulation relations for hybrid systems. Zbl 1395.93113
Girard, Antoine; Julius, A. Agung; Pappas, George J.
2008
Event-based optimization of admission control in open queueing networks. Zbl 1296.93115
Xia, Li
2014
Just in time control of constrained $$(max,+)$$-linear systems. Zbl 1116.93039
Houssin, Laurent; Lahaye, Sébastien; Boimond, Jean-Louis
2007
Tandem queues with general blocking: A unified model and comparison results. Zbl 0767.60091
Cheng, Dinah W.; Yao, David D.
1993
On hybrid Petri nets. Zbl 0969.93024
David, René; Alla, Hassane
2001
Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation. Zbl 0880.93016
Ben Hadj-Alouane, Nejib; Lafortune, Stéphane; Lin, Feng
1996
State observation and diagnosis of discrete-event systems described by stochastic automata. Zbl 1055.93056
Lunze, J.; Schröder, J.
2001
Recent advances in hierarchical reinforcement learning. Zbl 1018.93035
Barto, Andrew G.; Mahadevan, Sridhar
2003
Perturbation analysis of multiclass stochastic fluid models. Zbl 1061.90036
Sun, Gang; Cassandras, Christos G.; Panayiotou, Christos G.
2004
Diagnosis of intermittent faults. Zbl 1063.93031
Contant, Olivier; Lafortune, Stéphane; Teneketzis, Demosthenis
2004
Active acquisition of information for diagnosis and supervisory control of discrete event systems. Zbl 1125.93322
Thorsley, David; Teneketzis, Demosthenis
2007
A proximal point based approach to optimal control of affine switched systems. Zbl 1242.49080
Azhmyakov, Vadim; Basin, Michael V.; Raisch, Jörg
2012
Convergence of recursive optimization algorithms using infinitesimal perturbation analysis estimates. Zbl 0761.93075
Chong, Edwin K. P.; Ramadge, Peter J.
1992
A discrete event systems approach for protocol conversion. Zbl 0960.93034
Kumar, Ratnesh; Nelvalgal, Sudhir; Marcus, Steven I.
1997
A method to find all solutions of a system of multivariate polynomial equalities and inequalities in the max algebra. Zbl 0855.93018
De Schutter, Bart; De Moor, Bart
1996
Diagnosing discrete-event systems: Extending the “diagnoser approach” to deal with telecommunication networks. Zbl 0993.93022
Rozé, Laurence; Cordier, Marie-Odile
2002
Discrete supervisory control of hybrid systems based on $$l$$-complete approximations. Zbl 1002.93016
Moor, Thomas; Raisch, Jörg; O’Young, Siu
2002
State estimation of $$\lambda$$-free labeled Petri nets with contact-free nondeterministic transitions. Zbl 1071.93028
Giua, Alessandro; Corona, Daniele; Seatzu, Carla
2005
On the effect of communication delays in failure diagnosis of decentralized discrete event systems. Zbl 1023.93041
Debouk, Rami; Lafortune, Stéphane; Teneketzis, Demosthenis
2003
Multitasking supervisory control of discrete-event systems. Zbl 1101.93052
de Queiroz, Max H.; Cury, José E. R.; Wonham, W. M.
2005
Switched-mode systems: gradient-descent algorithms with Armijo step sizes. Zbl 1329.49059
Wardi, Y.; Egerstedt, M.; Hale, M.
2015
Fault diagnosis in discrete event systems modeled by partially observed Petri nets. Zbl 1180.93069
Ru, Yu; Hadjicostis, Christoforos N.
2009
Reachability problems and abstract state spaces for time Petri nets with stopwatches. Zbl 1134.93369
Berthomieu, Bernard; Lime, Didier; Roux, Olivier H.; Vernadat, François
2007
On an optimization problem for a class of impulsive hybrid systems. Zbl 1197.49038
Attia, Sid Ahmed; Azhmyakov, Vadim; Raisch, Joerg
2010
On an optimization problem in sensor selection. Zbl 1087.93059
Debouk, Rami; Lafortune, Stéphane; Teneketzis, Demosthenis
2002
Performance evaluation and policy selection in multiclass networks. Zbl 1019.93056
Henderson, Shane G.; Meyn, Sean P.; Tadić, Vladislav B.
2003
A random walk model for infection on graphs: spread of epidemics & rumours with mobile agents. Zbl 1242.92052
Draief, Moez; Ganesh, Ayalvadi
2011
Diagnosability analysis of hybrid systems cast in a discrete-event framework. Zbl 1307.93247
Bayoudh, Mehdi; Travé-Massuyès, Louise
2014
A two-queue polling model with two priority levels in the first queue. Zbl 1200.90050
Boon, Marko A. A.; Adan, Ivo J. B. F.; Boxma, Onno J.
2010
Compositional synthesis of maximally permissive supervisors using supervision equivalence. Zbl 1125.93018
Flordal, Hugo; Malik, Robi; Fabian, Martin; Åkesson, Knut
2007
Identification of Petri nets from knowledge of their language. Zbl 1125.93332
Cabasino, Maria Paola; Giua, Alessandro; Seatzu, Carla
2007
Approximating the minimal sensor selection for supervisory control. Zbl 1103.93019
Rohloff, Kurt R.; Khuller, Samir; Kortsarz, Guy
2006
Model checking of time Petri nets using the state class timed automaton. Zbl 1113.68068
Lime, Didier; Roux, Olivier H.
2006
Modal specifications for the control theory of discrete event systems. Zbl 1116.93037
Feuillade, Guillaume; Pinchinat, Sophie
2007
Fluid limits and diffusion approximations for networks of multi-server queues in heavy traffic. Zbl 0814.60092
Chen, Hong; Shanthikumar, J. George
1994
The Brownian approximation for rate-control throttles and the $$G/G/1/C$$ queue. Zbl 0754.60102
Berger, Arthur W.; Whitt, Ward
1992
Input/output discrete event processes and communication delays. Zbl 0790.93002
Balemi, Silvano
1994
Structured buffer-allocation problems. Zbl 0847.90066
Glasserman, Paul; Yao, David D.
1996
Towards a (max,+) control theory for public transportation networks. Zbl 0999.93046
Heidergott, B.; de Vries, R.
2001
Fault detection and diagnosis in distributed systems: An approach by partially stochastic Petri nets. Zbl 0916.93074
Aghasaryan, Armen; Fabre, Eric; Benveniste, Albert; Boubour, Renée; Jard, Claude
1998
An algorithmic toolbox for network calculus. Zbl 1162.90364
Bouillard, Anne; Thierry, Éric
2008
The level set method for the two-sided max-plus eigenproblem. Zbl 1279.15024
Gaubert, Stéphane; Sergeev, Sergeĭ
2013
Monotonicity properties for multi-class queueing systems. Zbl 1200.90056
Verloop, Ina Maria; Ayesta, Urtzi; Borst, Sem
2010
Supervisory control of $$(\max,+)$$ automata: a behavioral approach. Zbl 1180.93068
Komenda, Jan; Lahaye, Sébastien; Boimond, Jean-Louis
2009
Control of $$(max, +)$$-linear systems minimizing delays. Zbl 1272.93083
Houssin, Laurent; Lahaye, Sébastien; Boimond, Jean-Louis
2013
Diagnosability of discrete event systems with modular structure. Zbl 1134.93306
Contant, Olivier; Lafortune, Stéphane; Teneketzis, Demosthenis
2006
Distributed supervisory control of discrete-event systems with communication delay. Zbl 1353.93073
Zhang, Renyuan; Cai, Kai; Gan, Yongmei; Wonham, W. M.
2016
Supervisory control using variable lookahead policies. Zbl 0808.93001
Chung, Sheng-Luen; Lafortune, Stéphane; Lin, Feng
1994
Algebraic structure of some stochastic discrete event systems, with applications. Zbl 0738.93068
Glasserman, Paul; Yao, David D.
1991
On tolerable and desirable behaviors in supervisory control of discrete event systems. Zbl 0738.93008
Lafortune, Stéphane; Lin, Feng
1991
On condition/event systems with discrete state realizations. Zbl 0747.93059
Sreenivas, R. S.; Krogh, B. H.
1991
A new algorithm for stochastic discrete resource allocation optimization. Zbl 0959.91037
Shi, Leyuan; Chen, Chun-Hung
2000
Fluid stochastic Petri nets augmented with flush-out arcs: Modelling and analysis. Zbl 0972.93040
Gribaudo, M.; Sereno, M.; Horváth, A.; Bobbio, A.
2001
Generalised batches Petri net: Hybrid model for high speed systems with variable delays. Zbl 0969.93023
Demongodin, I.
2001
Using ordinal optimization approach to improve efficiency of selection procedures. Zbl 1094.93017
Chen, E. Jack
2004
Compositional abstractions of hybrid control systems. Zbl 1060.93070
Tabuada, Paulo; Pappas, George J.; Lima, Pedro
2004
Lagrange stability and boundedness of discrete event systems. Zbl 0849.93051
Passino, Kevin M.; Burgess, Kevin L.; Michel, Anthony N.
1995
A mean field approach for optimization in discrete time. Zbl 1233.90275
Gast, Nicolas; Gaujal, Bruno
2011
Enforcement and validation (at runtime) of various notions of opacity. Zbl 1400.94143
Falcone, Yliès; Marchand, Hervé
2015
Tail asymptotics for discrete event systems. Zbl 1185.93081
Lelarge, Marc
2008
Optimal control of two-stage discrete event systems with real-time constraints. Zbl 1126.49015
Mao, Jianfeng; Cassandras, Christos G.
2007
Transient product form distributions in queueing networks. Zbl 0786.60113
Boucherie, Richard J.; Taylor, P. G.
1993
Optimal control of a class of DEDS: Flow-shops with state-dependent processing times. Zbl 0790.90046
Wagneur, E.; Sriskandarajah, C.
1993
Modelling and control of periodic time-variant event graphs in dioids. Zbl 1448.93213
Trunk, Johannes; Cottenceau, Bertrand; Hardouin, Laurent; Raisch, Joerg
2020
A controller synthesis framework for automated service composition. Zbl 1441.93082
Atampore, Francis; Dingel, Juergen; Rudie, Karen
2019
Risk-sensitive continuous-time Markov decision processes with unbounded rates and Borel spaces. Zbl 1441.93338
Guo, Xianping; Zhang, Junyu
2019
SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time. Zbl 1441.93183
Wang, Xi; Li, Zhiwu; Moor, Thomas
2019
Markovian dynamics of concurrent systems. Zbl 1435.68210
Abbes, Samy
2019
Optimal energy-efficient policies for data centers through sensitivity-based optimization. Zbl 1435.68056
Ma, Jing-Yu; Xia, Li; Li, Quan-Lin
2019
Detectability of networked discrete event systems. Zbl 1398.93221
Sasi, Yazeed; Lin, Feng
2018
Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation. Zbl 1398.93219
Nunes, Carlos E. V.; Moreira, Marcos V.; Alves, Marcos V. S.; Carvalho, Lilian K.; Basilio, João Carlos
2018
Faults prognosis using partially observed stochastic Petri nets: an incremental approach. Zbl 1398.93211
Ammour, Rabah; Leclercq, Edouard; Sanlaville, Eric; Lefebvre, Dimitri
2018
Applications of generalized likelihood ratio method to distribution sensitivities and steady-state simulation. Zbl 1384.93145
Lei, Lei; Peng, Yijie; Fu, Michael C.; Hu, Jian-Qiang
2018
Current-state opacity enforcement in discrete event systems under incomparable observations. Zbl 1398.93223
Tong, Yin; Li, Zhiwu; Seatzu, Carla; Giua, Alessandro
2018
Probabilistic system opacity in discrete event systems. Zbl 1398.93216
Keroglou, Christoforos; Hadjicostis, Christoforos N.
2018
Implementation of inference-based diagnosis: computing delay bound and ambiguity levels. Zbl 1398.93222
Takai, Shigemasa; Kumar, Ratnesh
2018
Ranking nodes in general networks: a Markov multi-chain approach. Zbl 1384.93138
Berkhout, Joost; Heidergott, Bernd F.
2018
Variance minimization of parameterized Markov decision processes. Zbl 1384.93142
Xia, Li
2018
Instruction-throughput regulation in computer processors with data-center applications. Zbl 1384.93077
Chen, Xinwei; Wardi, Yorai; Yalamanchili, Sudhakar
2018
On controlling prioritized discrete event systems with real-time constraints. Zbl 1398.93218
Miao, Lei
2018
Diagnosability of repairable faults. Zbl 1398.93214
Fabre, Eric; Hélouët, Loïc; Lefaucheux, Engel; Marchand, Hervé
2018
Assigning multiple job types to parallel specialized servers. Zbl 1407.90176
van der Laan, Dinard
2018
Finite horizon continuous-time Markov decision processes with mean and variance criteria. Zbl 1407.90204
Huang, Yonghui
2018
The risk probability criterion for discounted continuous-time Markov decision processes. Zbl 1386.93308
Huo, Haifeng; Zou, Xiaolong; Guo, Xianping
2017
Average cost criterion induced by the regular utility function for continuous-time Markov decision processes. Zbl 1374.93388
Wei, Qingda; Chen, Xian
2017
Supervisory control and reactive synthesis: a comparative introduction. Zbl 1379.93068
Ehlers, Rüdiger; Lafortune, Stéphane; Tripakis, Stavros; Vardi, Moshe Y.
2017
Supervisory control for collision avoidance in vehicular networks using discrete event abstractions. Zbl 1356.93005
Dallal, Eric; Colombo, Alessandro; Del Vecchio, Domitilla; Lafortune, Stéphane
2017
On the stability of a class of non-monotonic systems of parallel queues. Zbl 1356.93090
Moyal, Pascal
2017
On a generalization of power algorithms over MAX-plus algebra. Zbl 1356.93054
Fahim, Kistosil; Subiono; van der Woude, Jacob
2017
Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication. Zbl 1386.93001
Komenda, Jan; Masopust, Tomáš
2017
Towards scalable synthesis of stochastic control systems. Zbl 1379.93087
Zamani, Majid; Tkachev, Ilya; Abate, Alessandro
2017
A necessary and sufficient condition for diagnosability of stochastic discrete event systems. Zbl 1374.93242
Thorsley, David
2017
Fluid approximation of Petri net models with relatively small populations. Zbl 1374.93240
Fraca, Estíbaliz; Júlvez, Jorge; Silva, Manuel
2017
Latticed-LTL synthesis in the presence of noisy inputs. Zbl 1374.93029
Almagor, Shaull; Kupferman, Orna
2017
Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions. Zbl 1356.93057
Yokota, Shoichi; Yamamoto, Takashi; Takai, Shigemasa
2017
Predictability of fuzzy discrete event systems. Zbl 1378.93081
Benmessahel, Bilal; Touahria, Mohamed; Nouioua, Farid
2017
Empirical studies in the size of diagnosers and verifiers for diagnosability analysis. Zbl 1386.93194
Clavijo, Leonardo Bermeo; Basilio, João C.
2017
Augmented finite transition systems as abstractions for control synthesis. Zbl 1379.93050
Nilsson, Petter; Ozay, Necmiye; Liu, Jun
2017
Controller synthesis for dynamic hierarchical real-time plants using timed automata. Zbl 1379.93051
Waez, Md Tawhid Bin; Wąsowski, Andrzej; Dingel, Juergen; Rudie, Karen
2017
Distributed supervisory control of discrete-event systems with communication delay. Zbl 1353.93073
Zhang, Renyuan; Cai, Kai; Gan, Yongmei; Wonham, W. M.
2016
Synchronizing sequences on a class of unbounded systems using synchronized Petri nets. Zbl 1333.93170
Pocci, Marco; Demongodin, Isabel; Giambiasi, Norbert; Giua, Alessandro
2016
Minimal sensor activation and minimal communication in discrete-event systems. Zbl 1353.93071
Sears, David; Rudie, Karen
2016
Determinization of timed Petri nets behaviors. Zbl 1346.93252
Komenda, Jan; Lahaye, Sébastien; Boimond, Jean-Louis
2016
Towards railway traffic management using switching max-plus-linear systems, structure analysis and rescheduling. Zbl 1353.93013
Kersbergen, Bart; Rudan, János; van den Boom, Ton; De Schutter, Bart
2016
On-line compositional controller synthesis for AGV. Zbl 1357.93005
Girault, Johan; Loiseau, Jean-Jacques; Roux, Olivier H.
2016
A Poisson equation for the risk-sensitive average cost in semi-Markov chains. Zbl 1357.93089
Cavazos-Cadena, Rolando
2016
Eigenproblems of Latin squares in bipartite $$(\min, \max,+)$$-systems. Zbl 1357.93063
Subiono; Mufid, Muhammad Syifa&rsquo;ul; Adzkiya, Dieky
2016
Finite approximation of the first passage models for discrete-time Markov decision processes with varying discount factors. Zbl 1357.90171
Wu, Xiao; Zhang, Junyu
2016
A framework for compositional nonblocking verification of extended finite-state machines. Zbl 1333.93169
Mohajerani, Sahar; Malik, Robi; Fabian, Martin
2016
VeriSIMPL 2: an open-source software for the verification of max-plus-linear systems. Zbl 1332.93255
Adzkiya, Dieky; Zhang, Yining; Abate, Alessandro
2016
Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory. Zbl 1346.93257
Li, Ran; Reveliotis, Spyros
2016
Block-structured supermarket models. Zbl 1354.93019
Li, Quan-Lin; Lui, John C. S.
2016
On just-in-time control of timed event graphs with input constraints: a semimodule approach. Zbl 1353.93074
da Silva, Guilherme Gomes; Maia, Carlos Andrey
2016
Optimal control of hybrid switched systems: a brief survey. Zbl 1328.93137
Zhu, Feng; Antsaklis, Panos J.
2015
Switched-mode systems: gradient-descent algorithms with Armijo step sizes. Zbl 1329.49059
Wardi, Y.; Egerstedt, M.; Hale, M.
2015
Enforcement and validation (at runtime) of various notions of opacity. Zbl 1400.94143
Falcone, Yliès; Marchand, Hervé
2015
Coordination control of discrete-event systems revisited. Zbl 1417.93207
Komenda, Jan; Masopust, Tomáš; van Schuppen, Jan H.
2015
Compositions of (max,+) automata. Zbl 1328.93168
Lahaye, Sébastien; Komenda, Jan; Boimond, Jean-Louis
2015
Sensitivity analysis of ranked data: from order statistics to quantiles. Zbl 1327.93146
Volk-Makarewicz, Warren; Heidergott, Bernd
2015
Fault model identification and synthesis in Petri nets. Zbl 1328.93163
Cabasino, Maria Paola; Giua, Alessandro; Hadjicostis, Christoforos N.; Seatzu, Carla
2015
Robustness of synchronous communication protocols with delay for decentralized discrete-event control. Zbl 1328.93169
Sadid, Waselul Haque; Ricker, Laurie; Hashtrudi-Zad, Shahin
2015
Enforcing opacity of regular predicates on modal transition systems. Zbl 1320.68126
Darondeau, Philippe; Marchand, Hervé; Ricker, Laurie
2015
Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems. Zbl 1328.93166
Chédor, Sébastien; Morvan, Christophe; Pinchinat, Sophie; Marchand, Hervé
2015
New representations for (max,+) automata with applications to performance evaluation and control of discrete event systems. Zbl 1328.93162
Boukra, Rabah; Lahaye, Sébastien; Boimond, Jean-Louis
2015
Performance optimization for a class of generalized stochastic Petri nets. Zbl 1328.93245
Li, Ran; Reveliotis, Spyros
2015
A hierarchical and modular control architecture for sequential behaviours. Zbl 1320.93060
Baier, Christine; Moor, Thomas
2015
Erratum to: “Diagnosis of discrete event systems using decentralized architectures”. Zbl 1330.93156
Wang, Yin; Yoo, Tae-Sic; Lafortune, Stéphane
2015
Special issue on recent advances in control of discrete event systems. Zbl 1314.00089
Ramírez-Treviño, Antonio; Silva, Manuel; Lafortune, Stéphane
2015
Multi-intersection traffic light control with blocking. Zbl 1320.90013
Geng, Yanfeng; Cassandras, Christos G.
2015
Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks. Zbl 1320.68127
Nazeem, Ahmed; Reveliotis, Spyros
2015
New results on supervisor localization, with case studies. Zbl 1328.93011
Cai, Kai; Wonham, W. M.
2015
Employing behavioral preorders to define controllability for nondeterministic discrete-event systems. Zbl 1328.93055
Markovski, Jasen
2015
Actuator saturation and anti-windup compensation in event-triggered control. Zbl 1296.93109
Kiener, Georg Alexander; Lehmann, Daniel; Johansson, Karl Henrik
2014
Event-based optimization of admission control in open queueing networks. Zbl 1296.93115
Xia, Li
2014
Diagnosability analysis of hybrid systems cast in a discrete-event framework. Zbl 1307.93247
Bayoudh, Mehdi; Travé-Massuyès, Louise
2014
A tutorial on event-based optimization – a new optimization framework. Zbl 1296.93116
Xia, Li; Jia, Qing-Shan; Cao, Xi-Ren
2014
Minimum attention control for linear systems. Zbl 1296.93070
Donkers, M. C. F.; Tabuada, P.; Heemels, W. P. M. H.
2014
Weakly coupled event triggered output feedback system in wireless networked control systems. Zbl 1296.93111
Li, Lichun &rsquo;Lucinda&rsquo;; Lemmon, Michael
2014
A bi-level approach for the design of event-triggered control systems over a shared network. Zbl 1296.93112
Molin, Adam; Hirche, Sandra
2014
Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications. Zbl 1307.93257
Ru, Yu; Cabasino, Maria Paola; Giua, Alessandro; Hadjicostis, Christoforos N.
2014
Exact and approximate approaches to the identification of stochastic MAX-plus-linear systems. Zbl 1302.93146
Farahani, Samira S.; van den Boom, Ton; De Schutter, Bart
2014
Predictive control of timed event graphs with specifications defined by P-time event graphs. Zbl 1307.93252
Declerck, Philippe; Guezzi, Abdelhak
2014
State estimation and detection of changes in time interval models. Zbl 1295.93051
Declerck, Philippe; Guezzi, Abdelhak
2014
Stabilizing bit-rates in networked control systems with decentralized event-triggered communication. Zbl 1296.93113
Sun, Yu; Wang, Xiaofeng
2014
A Petri net based approach for multi-robot path planning. Zbl 1302.93148
Kloetzer, Marius; Mahulea, Cristian
2014
The mean-field computation in a supermarket model with server multiple vacations. Zbl 1302.93197
Li, Quan-Lin; Dai, Guirong; Lui, John C. S.; Wang, Yang
2014
Structure and dynamics of acyclic networks. Zbl 1302.93183
Veliz-Cuba, Alan; Murrugarra, David; Laubenbacher, Reinhard
2014
Linear optimal control strategies for production systems with a discrete-event demand pattern. Zbl 1307.93254
Giglio, Davide; Minciardi, Riccardo; Sacone, Simona; Siri, Silvia
2014
Diagnosis from scenarios. Zbl 1302.93147
Hélouët, Loïc; Marchand, Hervé; Genest, Blaise; Gazagnaire, Thomas
2014
Selection and order statistics from correlated normal random variables. Zbl 1302.93191
Chen, E.&nbsp;Jack
2014
Comparative analysis of related notions of opacity in centralized and coordinated architectures. Zbl 1272.93084
Wu, Yi-Chin; Lafortune, Stéphane
2013
The level set method for the two-sided max-plus eigenproblem. Zbl 1279.15024
Gaubert, Stéphane; Sergeev, Sergeĭ
2013
Control of $$(max, +)$$-linear systems minimizing delays. Zbl 1272.93083
Houssin, Laurent; Lahaye, Sébastien; Boimond, Jean-Louis
2013
Perturbation analysis of waiting times in the G/G/1 queue. Zbl 1278.60139
Leahu, Haralambie; Heidergott, Bernd; Hordijk, Arie
2013
A functional approximation for the M/G/1/N queue. Zbl 1266.93135
Abbas, Karim; Heidergott, Bernd; Aïssani, Djamil
2013
Mixed integer programming in production planning with backlogging and setup carryover: modeling and algorithms. Zbl 1273.90130
Wu, Tao; Akartunalı, Kerem; Song, Jie; Shi, Leyuan
2013
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets. Zbl 1268.93100
Liao, Hongwei; Wang, Yin; Cho, Hyoun Kyu; Stanley, Jason; Kelly, Terence; Lafortune, Stéphane; Mahlke, Scott; Reveliotis, Spyros
2013
Scheduling and control of real-time systems based on a token player approach. Zbl 1268.93099
Bonhomme, Patrice
2013
Integrating discrete controller synthesis into a reactive programming language compiler. Zbl 1273.93111
Delaval, Gwenaël; Rutten, Eric; Marchand, Hervé
2013
A diagnoser algorithm for anomaly detection in DEDS under partial and unreliable observations: characterization and inclusion in sensor configuration optimization. Zbl 1266.93097
Lin, Wen-Chiao; Garcia, Humberto E.; Yoo, Tae-Sic
2013
An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming. Zbl 1266.93098
Zhao, Mi; Hou, Yifan
2013
A proximal point based approach to optimal control of affine switched systems. Zbl 1242.49080
Azhmyakov, Vadim; Basin, Michael V.; Raisch, Jörg
2012
Modeling and control of switching max-plus-linear systems with random and deterministic switching. Zbl 1252.93084
van den Boom, Ton J. J.; De Schutter, Bart
2012
...and 278 more Documents
all top 5

#### Cited by 1,940 Authors

 28 Lafortune, Stéphane 25 Cassandras, Christos G. 25 Giua, Alessandro 20 Lin, Feng 19 De Schutter, Bart 17 Komenda, Jan 17 Lee, Loo Hay 17 Wonham, W. Murray 16 van den Boom, Ton J. J. 15 Seatzu, Carla 14 Li, Zhiwu 13 Wardi, Yorai 13 Xia, Li 12 Júlvez, Jorge 12 Masopust, Tomáš 11 Azhmyakov, Vadim 11 Gaubert, Stéphane 11 Lahaye, Sébastien 11 Su, Rong 11 Takai, Shigemasa 11 Zhao, Qianchuan 10 Boimond, Jean-Louis 10 Hardouin, Laurent 10 Ho, Yu-Chi 10 Mahulea, Cristian 10 van Schuppen, Jan H. 10 Yin, Xiang 9 Fu, Michael C. 9 Heidergott, Bernd F. 9 Legay, Axel 9 Marchand, Hervé 9 Park, Seong-Jin 9 Reveliotis, Spyros A. 9 Tao, Yuegang 8 Alla, Hassane 8 Cao, Xi-Ren 8 Di Benedetto, Maria Domenica 8 Guo, Xianping 8 Hadjicostis, Christoforos N. 8 Hammer, Jacob 8 Liu, Fuchun 8 Mairesse, Jean 8 Meyn, Sean P. 8 Yang, Jung-Min 8 Zhang, Kanjian 7 Cai, Kai 7 Cao, Xiren 7 Chen, E. Jack 7 Chew, Ek Peng 7 Cho, Kwang-Hyun 7 Jia, Qing-Shan 7 Kogan, Konstantin 7 Lefebvre, Dimitri 7 Maia, Carlos Andrey 7 Malik, Robi 7 Wang, Weilin 6 Akian, Marianne 6 Andradóttir, Sigrún 6 Basilio, João Carlos 6 Bertsekas, Dimitri Panteli 6 Chen, Chun-Hung 6 Egerstedt, Magnus B. 6 Gaujal, Bruno 6 Gokbayrak, Kagan 6 Guo, Yongjiang 6 Haar, Stefan 6 Hélouët, Loïc 6 Markey, Nicolas 6 Moreira, Marcos Vicente 6 Raisch, Jörg 6 Rudie, Karen 6 Weiss, Gideon 6 Yoo, Tae-Sic 6 Zanella, Marina 6 Zhang, Renyuan 5 Al-Refa’ei, Mahmoud H. 5 Bhatnagar, Shalabh 5 Bouyer, Patricia 5 Bruneel, Herwig 5 Cabasino, Maria Paola 5 Fabre, Eric 5 Gao, Siyang 5 Garcia, Humberto E. 5 Hante, Falk M. 5 Hochart, Antoine 5 Khmelnitsky, Eugene 5 Khoumsi, Ahmed 5 Larsen, Kim Guldstrand 5 Li, Quanlin 5 Lin, Hai 5 Mao, Jianfeng 5 Melamed, Benjamin 5 Nazarathy, Yoni 5 Ramírez-Treviño, Antonio 5 Rooda, Jacobus E. 5 Roux, Olivier H. 5 Sacone, Simona 5 Schmidt, Klaus Werner 5 Sethi, Suresh P. 5 Shneer, Vsevolod Vladislavovich ...and 1,840 more Authors
all top 5

#### Cited in 200 Journals

 249 Discrete Event Dynamic Systems 138 Automatica 51 European Journal of Operational Research 50 International Journal of Control 46 Nonlinear Analysis. Hybrid Systems 41 Queueing Systems 29 Systems & Control Letters 25 Journal of Optimization Theory and Applications 22 Theoretical Computer Science 22 Annals of Operations Research 21 Information Sciences 21 Mathematical Problems in Engineering 20 European Journal of Control 18 Journal of the Franklin Institute 13 Linear Algebra and its Applications 13 Formal Methods in System Design 12 Information and Computation 12 The Annals of Applied Probability 11 Operations Research 11 Computers & Operations Research 11 Real-Time Systems 11 Asian Journal of Control 10 Journal of Applied Probability 9 Operations Research Letters 9 Mathematical and Computer Modelling 8 Journal of Mathematical Analysis and Applications 8 SIAM Journal on Control and Optimization 8 INFORMS Journal on Computing 8 International Journal of Systems Science. Principles and Applications of Systems and Integration 7 International Journal of Production Research 7 Asia-Pacific Journal of Operational Research 7 Stochastic Models 6 Artificial Intelligence 6 Discrete Applied Mathematics 6 Applied Mathematics and Computation 6 Journal of Global Optimization 6 International Journal of Robust and Nonlinear Control 6 Discrete Dynamics in Nature and Society 6 Probability in the Engineering and Informational Sciences 6 Stochastic Systems 5 Advances in Applied Probability 5 International Journal of Systems Science 5 Kybernetika 5 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 5 Formal Aspects of Computing 5 Automation and Remote Control 5 Top 5 ACM Transactions on Modeling and Computer Simulation 5 Journal of Systems Science and Complexity 5 Journal of Industrial and Management Optimization 5 Dynamic Games and Applications 4 Computers & Mathematics with Applications 4 International Journal of General Systems 4 Fuzzy Sets and Systems 4 Mathematics of Operations Research 4 Machine Learning 4 International Journal of Applied Mathematics and Computer Science 4 Journal of Applied Mathematics 3 Information Processing Letters 3 Journal of Computational and Applied Mathematics 3 Journal of Computer and System Sciences 3 Journal of Econometrics 3 Mathematics and Computers in Simulation 3 Acta Mathematicae Applicatae Sinica. English Series 3 Journal of Automated Reasoning 3 MCSS. Mathematics of Control, Signals, and Systems 3 Neural Computation 3 MSCS. Mathematical Structures in Computer Science 3 Applied Mathematical Modelling 3 The Journal of Artificial Intelligence Research (JAIR) 3 Discrete and Continuous Dynamical Systems 3 Mathematical Methods of Operations Research 3 Mathematical and Computer Modelling of Dynamical Systems 3 Journal of Dynamics and Games 2 Acta Informatica 2 Journal of Statistical Physics 2 International Journal of Game Theory 2 Optimal Control Applications & Methods 2 Circuits, Systems, and Signal Processing 2 Stochastic Analysis and Applications 2 Neural Networks 2 Journal of Intelligent & Robotic Systems 2 International Journal of Algebra and Computation 2 International Journal of Foundations of Computer Science 2 Games and Economic Behavior 2 Communications in Statistics. Simulation and Computation 2 International Journal of Computer Mathematics 2 Stochastic Processes and their Applications 2 Distributed Computing 2 SIAM Journal on Optimization 2 Journal of Computer and Systems Sciences International 2 Complexity 2 European Series in Applied and Industrial Mathematics (ESAIM): Control, Optimization and Calculus of Variations 2 Abstract and Applied Analysis 2 Optimization Methods & Software 2 Journal of Scheduling 2 Methodology and Computing in Applied Probability 2 The ANZIAM Journal 2 The Journal of Logic and Algebraic Programming 2 Dynamical Systems ...and 100 more Journals
all top 5

#### Cited in 39 Fields

 712 Systems theory; control (93-XX) 466 Operations research, mathematical programming (90-XX) 333 Computer science (68-XX) 200 Probability theory and stochastic processes (60-XX) 90 Calculus of variations and optimal control; optimization (49-XX) 78 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 58 Numerical analysis (65-XX) 56 Statistics (62-XX) 53 Linear and multilinear algebra; matrix theory (15-XX) 37 Information and communication theory, circuits (94-XX) 36 Combinatorics (05-XX) 24 Dynamical systems and ergodic theory (37-XX) 23 Biology and other natural sciences (92-XX) 19 Ordinary differential equations (34-XX) 11 Mathematical logic and foundations (03-XX) 10 Operator theory (47-XX) 9 Partial differential equations (35-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 5 Associative rings and algebras (16-XX) 4 Difference and functional equations (39-XX) 4 Fluid mechanics (76-XX) 3 General and overarching topics; collections (00-XX) 3 Number theory (11-XX) 3 Algebraic geometry (14-XX) 3 Statistical mechanics, structure of matter (82-XX) 2 History and biography (01-XX) 2 Measure and integration (28-XX) 1 Field theory and polynomials (12-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Real functions (26-XX) 1 Integral transforms, operational calculus (44-XX) 1 Geometry (51-XX) 1 Convex and discrete geometry (52-XX) 1 Differential geometry (53-XX) 1 General topology (54-XX) 1 Mechanics of deformable solids (74-XX) 1 Relativity and gravitational theory (83-XX) 1 Geophysics (86-XX)