×

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: https://link.springer.com/journal/10626/volumes-and-issues
Comments: Journal; Indexed cover-to-cover
Documents Indexed: 590 Publications (since 1991)
References Indexed: 456 Publications with 13,478 References.
all top 5

Latest Issues

33, No. 3 (2023)
33, No. 2 (2023)
33, No. 1 (2023)
32, No. 4 (2022)
32, No. 3 (2022)
32, No. 2 (2022)
32, No. 1 (2022)
31, No. 4 (2021)
31, No. 3 (2021)
31, No. 2 (2021)
31, No. 1 (2021)
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)
...and 21 more Volumes
all top 5

Authors

28 Lafortune, Stéphane
25 Cassandras, Christos G.
17 Giua, Alessandro
13 Lin, Feng
11 Boimond, Jean-Louis
11 Wonham, W. Murray
10 Gaujal, Bruno
10 Lahaye, SĂ©bastien
10 Raisch, Jörg
10 Reveliotis, Spyros A.
9 Marchand, Hervé
8 De Schutter, Bart
8 Komenda, Jan
8 Malik, Robi
8 Wardi, Yorai
7 Cao, Xi-Ren
7 Hadjicostis, Christoforos N.
7 Heidergott, Bernd F.
7 Ho, Yu-Chi
7 Moor, Thomas
7 Seatzu, Carla
7 Silva, Manuel
7 Teneketzis, Demosthenis
7 van den Boom, Ton J. J.
6 Antsaklis, Panos J.
6 Declerck, Philippe
6 Egerstedt, Magnus B.
6 Lefebvre, Dimitri
6 Roux, Olivier H.
6 Rudie, Karen
6 Shi, Leyuan
6 Su, Rong
6 Takai, Shigemasa
6 Yoo, Tae-Sic
5 Chen, E. Jack
5 Chong, Edwin Kah Pin
5 Fabian, Martin
5 Fabre, Eric
5 Hardouin, Laurent
5 Mahulea, Cristian
5 Sreenivas, Ramavarapu S.
5 van Schuppen, Jan H.
5 Xia, Li
5 Xie, Xiaolan
5 Zhao, Qianchuan
4 Basilio, JoĂŁo Carlos
4 Boel, René K.
4 Bouillard, Anne
4 Cury, José Eduardo Ribeiro
4 Gong, Weibo
4 JĂşlvez, Jorge
4 Khoumsi, Ahmed
4 L’Ecuyer, Pierre
4 Li, Quanlin
4 Lime, Didier
4 Mairesse, Jean
4 Mao, Jianfeng
4 Reniers, Michel Adriaan
4 Rooda, Jacobus E.
4 Ushio, Toshimitsu
4 van de Mortel-Fronczak, Joanna M.
4 Vázquez-Abad, Felisa J.
4 Zheng, Dazhong
3 Alla, Hassane
3 Altman, Eitan
3 Benveniste, Albert
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 Fu, Bor-Ruey
3 Gokbayrak, Kagan
3 Guo, Xianping
3 Hiraishi, Kunihiko
3 Holloway, Lawrence E.
3 Jia, Qing-Shan
3 Kumar, Ratnesh
3 Lemmon, Michael D.
3 Lesage, Jean-Jacques
3 Li, Zhiwu
3 Lin, Liyong
3 Malhamé, Roland P.
3 Martin, Patrick
3 Masopust, Tomáš
3 Minciardi, Riccardo
3 Moreira, Marcos Vicente
3 Moyal, Pascal
3 Ozay, Necmiye
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
...and 791 more Authors

Publications by Year

Citations contained in zbMATH Open

436 Publications have been cited 2,748 times in 1,744 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.
91
2000
Coordinated decentralized protocols for failure diagnosis of discrete event systems. Zbl 0959.93039
Debouk, Rami; Lafortune, Stéphane; Teneketzis, Demosthenis
53
2000
Ordinal optimization of DEDS. Zbl 0754.60133
Ho, Y. C.; Sreenivas, R. S.; Vakili, P.
51
1992
A survey of Petri net methods for controlled discrete event systems. Zbl 0968.93053
Holloway, L. E.; Krogh, B. H.; Giua, A.
45
1997
A general architecture for decentralized supervisory control of discrete-event systems. Zbl 1048.93067
Yoo, T.-S.; Lafortune, Stéphane
41
2002
Diagnosability of discrete event systems and its applications. Zbl 0800.93030
Lin, Feng
37
1994
Comparative analysis of related notions of opacity in centralized and coordinated architectures. Zbl 1272.93084
Wu, Yi-Chin; Lafortune, Stéphane
36
2013
Optimal control of hybrid switched systems: a brief survey. Zbl 1328.93137
Zhu, Feng; Antsaklis, Panos J.
34
2015
Eigenvalues of dynamic max-min systems. Zbl 0747.93014
Olsder, Geert Jan
33
1991
Hierarchical control of discrete-event systems. Zbl 0898.93005
Wong, K. C.; Wonham, W. M.
30
1996
Concurrent secrets. Zbl 1125.93320
Badouel, E.; Bednarczyk, M.; Borzyszkowski, A.; Caillaud, B.; Darondeau, P.
29
2007
Min-max functions. Zbl 0841.93029
Gunawardena, Jeremy
26
1994
Optimal control of switching surfaces in hybrid dynamical systems. Zbl 1101.93054
Boccadoro, M.; Wardi, Y.; Egerstedt, M.; Verriest, E.
25
2005
Dynamical properties of timed automata. Zbl 0986.93042
Puri, Anuj
22
2000
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
22
2011
Bisimulation, the supervisory control problem and strong model matching for finite state machines. Zbl 0919.93005
Barrett, George; Lafortune, Stéphane
22
1998
Supervisor reduction for discrete-event systems. Zbl 1035.93048
Su, R.; Wonham, W. M.
22
2004
Actuator saturation and anti-windup compensation in event-triggered control. Zbl 1296.93109
Kiener, Georg Alexander; Lehmann, Daniel; Johansson, Karl Henrik
22
2014
Least squares policy evaluation algorithms with linear function approximation. Zbl 1030.93061
Nedić, A.; Bertsekas, D. P.
22
2003
The concert queueing game: to wait or to be late. Zbl 1213.90089
Jain, Rahul; Juneja, Sandeep; Shimkin, Nahum
21
2011
Diagnosis of discrete event systems using decentralized architectures. Zbl 1115.93065
Wang, Yin; Yoo, Tae-Sic; Lafortune, Stéphane
20
2007
Distributed monitoring of concurrent and asynchronous systems. Zbl 1077.68059
Fabre, Eric; Benveniste, Albert; Haar, Stefan; Jard, Claude
20
2005
Approximate simulation relations for hybrid systems. Zbl 1395.93113
Girard, Antoine; Julius, A. Agung; Pappas, George J.
20
2008
On the computation of natural observers in discrete-event systems. Zbl 1195.93081
Feng, Lei; Wonham, W. M.
20
2010
Enforcement and validation (at runtime) of various notions of opacity. Zbl 1400.94143
Falcone, Yliès; Marchand, Hervé
19
2015
Stability of parallel queueing systems with coupled service rates. Zbl 1184.90048
Borst, Sem; Jonckheere, Matthieu; Leskelä, Lasse
18
2008
A mean field approach for optimization in discrete time. Zbl 1233.90275
Gast, Nicolas; Gaujal, Bruno
17
2011
Basic server semantics and performance monotonicity of continuous Petri nets. Zbl 1169.93367
Mahulea, Cristian; Recalde, Laura; Silva, Manuel
17
2009
On the computation of observers in discrete-event systems. Zbl 1035.93049
Wong, K. C.; Wonham, W. M.
17
2004
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
16
2007
Just in time control of constrained \((max,+)\)-linear systems. Zbl 1116.93039
Houssin, Laurent; Lahaye, SĂ©bastien; Boimond, Jean-Louis
16
2007
A random walk model for infection on graphs: spread of epidemics & rumours with mobile agents. Zbl 1242.92052
Draief, Moez; Ganesh, Ayalvadi
16
2011
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.
16
1998
The relations among potentials, perturbation analysis, and Markov decision processes. Zbl 1126.93332
Cao, Xi-Ren
16
1998
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.
16
2000
Modeling, analysis and optimal control of a class of hybrid systems. Zbl 0915.93027
Pepyne, David L.; Cassandras, Christos G.
16
1998
Basic ideas for event-based optimization of Markov systems. Zbl 1130.90054
Cao, Xiren
16
2005
On-line control of partially observed discrete event systems. Zbl 0811.93004
Heymann, Michael; Lin, Feng
16
1994
Switched-mode systems: gradient-descent algorithms with Armijo step sizes. Zbl 1329.49059
Wardi, Y.; Egerstedt, M.; Hale, M.
16
2015
Recent advances in hierarchical reinforcement learning. Zbl 1034.93003
Barto, Andrew G.; Mahadevan, Sridhar
15
2003
Modular control and coordination of discrete-event systems. Zbl 0915.93028
Wong, Kai C.; Wonham, M. Murray
15
1998
Diagnosis of intermittent faults. Zbl 1063.93031
Contant, Olivier; Lafortune, Stéphane; Teneketzis, Demosthenis
15
2004
Recent advances in hierarchical reinforcement learning. Zbl 1018.93035
Barto, Andrew G.; Mahadevan, Sridhar
15
2003
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
14
2008
On hybrid Petri nets. Zbl 0969.93024
David, René; Alla, Hassane
14
2001
Model checking of time Petri nets using the state class timed automaton. Zbl 1113.68068
Lime, Didier; Roux, Olivier H.
14
2006
Dynamic setup scheduling and flow control in manufacturing systems. Zbl 0742.90040
Sharifnia, Ali; Caramanis, Michael; Gershwin, Stanley B.
14
1991
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
14
1996
Active acquisition of information for diagnosis and supervisory control of discrete event systems. Zbl 1125.93322
Thorsley, David; Teneketzis, Demosthenis
14
2007
Distributed supervisory control of discrete-event systems with communication delay. Zbl 1353.93073
Zhang, Renyuan; Cai, Kai; Gan, Yongmei; Wonham, W. M.
14
2016
Control of \((max, +)\)-linear systems minimizing delays. Zbl 1272.93083
Houssin, Laurent; Lahaye, SĂ©bastien; Boimond, Jean-Louis
14
2013
An algorithmic toolbox for network calculus. Zbl 1162.90364
Bouillard, Anne; Thierry, Éric
13
2008
State observation and diagnosis of discrete-event systems described by stochastic automata. Zbl 1055.93056
Lunze, J.; Schröder, J.
13
2001
Discrete supervisory control of hybrid systems based on \(l\)-complete approximations. Zbl 1002.93016
Moor, Thomas; Raisch, Jörg; O’Young, Siu
13
2002
Asymptotic properties of monotonic nonexpansive mappings. Zbl 1035.93047
Sorin, Sylvain
13
2004
Event-based optimization of admission control in open queueing networks. Zbl 1296.93115
Xia, Li
13
2014
The risk probability criterion for discounted continuous-time Markov decision processes. Zbl 1386.93308
Huo, Haifeng; Zou, Xiaolong; Guo, Xianping
13
2017
Tandem queues with general blocking: A unified model and comparison results. Zbl 0767.60091
Cheng, Dinah W.; Yao, David D.
12
1993
Fault diagnosis in discrete event systems modeled by partially observed Petri nets. Zbl 1180.93069
Ru, Yu; Hadjicostis, Christoforos N.
12
2009
Diagnosability of discrete event systems with modular structure. Zbl 1134.93306
Contant, Olivier; Lafortune, Stéphane; Teneketzis, Demosthenis
12
2006
Perturbation analysis of multiclass stochastic fluid models. Zbl 1061.90036
Sun, Gang; Cassandras, Christos G.; Panayiotou, Christos G.
12
2004
A discrete event systems approach for protocol conversion. Zbl 0960.93034
Kumar, Ratnesh; Nelvalgal, Sudhir; Marcus, Steven I.
12
1997
Input/output discrete event processes and communication delays. Zbl 0790.93002
Balemi, Silvano
12
1994
Identification of Petri nets from knowledge of their language. Zbl 1125.93332
Cabasino, Maria Paola; Giua, Alessandro; Seatzu, Carla
12
2007
A proximal point based approach to optimal control of affine switched systems. Zbl 1242.49080
Azhmyakov, Vadim; Basin, Michael V.; Raisch, Jörg
12
2012
On the effect of communication delays in failure diagnosis of decentralized discrete event systems. Zbl 1023.93041
Debouk, Rami; Lafortune, Stéphane; Teneketzis, Demosthenis
12
2003
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
11
1996
Supervisory control of \((\max,+)\) automata: a behavioral approach. Zbl 1180.93068
Komenda, Jan; Lahaye, SĂ©bastien; Boimond, Jean-Louis
11
2009
Multitasking supervisory control of discrete-event systems. Zbl 1101.93052
de Queiroz, Max H.; Cury, José E. R.; Wonham, W. M.
11
2005
Diagnosing discrete-event systems: Extending the “diagnoser approach” to deal with telecommunication networks. Zbl 0993.93022
Rozé, Laurence; Cordier, Marie-Odile
11
2002
Approximating the minimal sensor selection for supervisory control. Zbl 1103.93019
Rohloff, Kurt R.; Khuller, Samir; Kortsarz, Guy
11
2006
State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions. Zbl 1071.93028
Giua, Alessandro; Corona, Daniele; Seatzu, Carla
11
2005
Convergence of recursive optimization algorithms using infinitesimal perturbation analysis estimates. Zbl 0761.93075
Chong, Edwin K. P.; Ramadge, Peter J.
11
1992
Compositional synthesis of maximally permissive supervisors using supervision equivalence. Zbl 1125.93018
Flordal, Hugo; Malik, Robi; Fabian, Martin; Ă…kesson, Knut
11
2007
Monotonicity properties for multi-class queueing systems. Zbl 1200.90056
Verloop, Ina Maria; Ayesta, Urtzi; Borst, Sem
11
2010
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.
11
2010
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
11
2018
Fluid stochastic Petri nets augmented with flush-out arcs: Modelling and analysis. Zbl 0972.93040
Gribaudo, M.; Sereno, M.; Horváth, A.; Bobbio, A.
10
2001
On an optimization problem in sensor selection. Zbl 1087.93059
Debouk, Rami; Lafortune, Stéphane; Teneketzis, Demosthenis
10
2002
Performance evaluation and policy selection in multiclass networks. Zbl 1019.93056
Henderson, Shane G.; Meyn, Sean P.; Tadić, Vladislav B.
10
2003
Diagnosability analysis of hybrid systems cast in a discrete-event framework. Zbl 1307.93247
Bayoudh, Mehdi; Travé-Massuyès, Louise
10
2014
Compositions of (max,+) automata. Zbl 1328.93168
Lahaye, SĂ©bastien; Komenda, Jan; Boimond, Jean-Louis
10
2015
The level set method for the two-sided max-plus eigenproblem. Zbl 1279.15024
Gaubert, Stéphane; Sergeev, Sergeĭ
10
2013
On an optimization problem for a class of impulsive hybrid systems. Zbl 1197.49038
Attia, Sid Ahmed; Azhmyakov, Vadim; Raisch, Joerg
10
2010
Current-state opacity enforcement in discrete event systems under incomparable observations. Zbl 1398.93223
Tong, Yin; Li, Zhiwu; Seatzu, Carla; Giua, Alessandro
10
2018
Modal specifications for the control theory of discrete event systems. Zbl 1116.93037
Feuillade, Guillaume; Pinchinat, Sophie
9
2007
Structured buffer-allocation problems. Zbl 0847.90066
Glasserman, Paul; Yao, David D.
9
1996
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
9
1998
Supervision based on place invariants: a survey. Zbl 1109.93031
Iordache, M. V.; Antsaklis, P. J.
9
2006
Compositional abstractions of hybrid control systems. Zbl 1060.93070
Tabuada, Paulo; Pappas, George J.; Lima, Pedro
9
2004
Recursive equations and basic properties of timed Petri nets. Zbl 0753.60084
Baccelli, François; Cohen, Guy; Gaujal, Bruno
9
1992
The Brownian approximation for rate-control throttles and the \(G/G/1/C\) queue. Zbl 0754.60102
Berger, Arthur W.; Whitt, Ward
9
1992
Fluid limits and diffusion approximations for networks of multi-server queues in heavy traffic. Zbl 0814.60092
Chen, Hong; Shanthikumar, J. George
9
1994
Application of supervisory control theory to theme park vehicles. Zbl 1267.93002
Forschelen, Stefan T. J.; van de Mortel-Fronczak, Joanna M.; Su, Rong; Rooda, Jacobus E.
9
2012
Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems. Zbl 1252.93083
Chakib, Hicham; Khoumsi, Ahmed
9
2012
Risk-sensitive continuous-time Markov decision processes with unbounded rates and Borel spaces. Zbl 1441.93338
Guo, Xianping; Zhang, Junyu
9
2019
Towards a (max,+) control theory for public transportation networks. Zbl 0999.93046
Heidergott, B.; de Vries, R.
8
2001
Transient product form distributions in queueing networks. Zbl 0786.60113
Boucherie, Richard J.; Taylor, P. G.
8
1993
Coordination control of discrete-event systems revisited. Zbl 1417.93207
Komenda, Jan; Masopust, Tomáš; van Schuppen, Jan H.
8
2015
Synthesis of covert actuator attackers for free. Zbl 1458.93073
Lin, Liyong; Zhu, Yuting; Su, Rong
8
2020
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection. Zbl 1489.93121
Lefebvre, Dimitri; Seatzu, Carla; Hadjicostis, Christoforos N.; Giua, Alessandro
2
2022
Weakly linear systems for matrices over the max-plus quantale. Zbl 1489.93042
Stamenković, Aleksandar; Ćirić, Miroslav; Djurdjanović, Dragan
1
2022
A general language-based framework for specifying and verifying notions of opacity. Zbl 1492.93118
Wintenberg, Andrew; Blischke, Matthew; Lafortune, Stéphane; Ozay, Necmiye
1
2022
Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies. Zbl 1505.93002
Matsui, Shoma; Lafortune, Stéphane
1
2022
Epistemic interpretations of decentralized discrete-event system problems. Zbl 1500.93066
Ean, Richard; Rudie, Karen
1
2022
Detectability of labeled weighted automata over monoids. Zbl 1524.68180
Zhang, Kuize
1
2022
Comparing the notions of opacity for discrete-event systems. Zbl 1480.93256
Balun, Jiří; Masopust, Tomáš
4
2021
Long time behaviour for Markovian branching-immigration systems. Zbl 1478.93666
Li, Junping; Cheng, Lan; Li, Liuyan
2
2021
Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches. Zbl 1478.93382
Boussif, Abderraouf; Ghazel, Mohamed; Basilio, JoĂŁo Carlos
2
2021
Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems. Zbl 1478.93190
van Putten, Berend Jan Christiaan; van der Sanden, Bram; Reniers, Michel; Voeten, Jeroen; Schiffelers, Ramon
2
2021
A mean field absorbing control model for interacting objects systems. Zbl 1478.93670
Martínez-Manzanares, M. Elena; Minjárez-Sosa, J. Adolfo
2
2021
Formal specification and verification of decentralized self-adaptive systems using symmetric nets. Zbl 1480.93259
Camilli, Matteo; Capra, Lorenzo
2
2021
Decentralized state estimation and diagnosis of p-time labeled Petri nets systems. Zbl 1478.93381
Bonhomme, Patrice
1
2021
Logical time control of concurrent DES. Zbl 1478.93185
BĂ©chennec, Jean-Luc; Lime, Didier; Roux, Olivier H.
1
2021
Compositional coordinator synthesis of extended finite automata. Zbl 1478.93186
Goorden, Martijn A.; Fabian, Martin; van de Mortel-Fronczak, Joanna M.; Reniers, Michel A.; Fokkink, Wan J.; Rooda, Jacobus E.
1
2021
A receding horizon event-driven control strategy for intelligent traffic management. Zbl 1478.93410
Lucia, Walter; Franzè, Giuseppe; Famularo, Domenico
1
2021
Counter approach for the estimation of optimal sequences in partially observable untimed Petri nets. Zbl 1480.93261
Declerck, P.
1
2021
Synthesis of covert actuator attackers for free. Zbl 1458.93073
Lin, Liyong; Zhu, Yuting; Su, Rong
8
2020
Modeling for supervisor synthesis – a lock-bridge combination case study. Zbl 1448.93088
Reijnen, Ferdie F. H.; Goorden, Martijn A.; van de Mortel-Fronczak, Joanna M.; Rooda, Jacobus E.
5
2020
Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers. Zbl 1448.93198
Lefebvre, Dimitri; Hadjicostis, Christoforos N.
4
2020
On detectability of labeled Petri nets and finite automata. Zbl 1448.93038
Zhang, Kuize; Giua, Alessandro
4
2020
Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction. Zbl 1448.93204
Malik, Robi; Teixeira, Marcelo
3
2020
Model-checking precision agriculture logistics: the case of the differential harvest. Zbl 1456.91067
Saddem-yagoubi, Rim; Naud, Olivier; Godary-dejean, Karen; Crestani, Didier
2
2020
Model predictive scheduling of semi-cyclic discrete-event systems using switching max-plus linear models and dynamic graphs. Zbl 1458.93069
van den Boom, Ton J. J.; van den Muijsenberg, Marenne; De Schutter, Bart
2
2020
Submodular optimization problems and greedy strategies: a survey. Zbl 1453.90134
Liu, Yajing; Chong, Edwin K. P.; Pezeshki, Ali; Zhang, Zhenliang
2
2020
A contribution to the determinization of max-plus automata. Zbl 1435.68177
Lahaye, SĂ©bastien; Lai, Aiwen; Komenda, Jan; Boimond, Jean-Louis
2
2020
Information control in networked discrete event systems and its application to battery management systems. Zbl 1448.93201
Lin, Feng; Wang, Le Yi; Chen, Wen; Wang, Weilin; Wang, Fei
1
2020
Modelling and control of periodic time-variant event graphs in dioids. Zbl 1448.93213
Trunk, Johannes; Cottenceau, Bertrand; Hardouin, Laurent; Raisch, Joerg
1
2020
On the computation of counterexamples in compositional nonblocking verification. Zbl 1448.93205
Malik, Robi; Ware, Simon
1
2020
Refinements of behavioural abstractions for the supervisory control of hybrid systems. Zbl 1454.93121
Yang, Jung-Min; Moor, Thomas; Raisch, Jörg
1
2020
Analysis and control of max-plus linear discrete-event systems: an introduction. Zbl 1441.93174
De Schutter, Bart; van den Boom, Ton; Xu, Jia; Farahani, Samira S.
1
2020
On the relation between reactive synthesis and supervisory control of non-terminating processes. Zbl 1441.93173
Schmuck, Anne-Kathrin; Moor, Thomas; Majumdar, Rupak
1
2020
Risk-sensitive continuous-time Markov decision processes with unbounded rates and Borel spaces. Zbl 1441.93338
Guo, Xianping; Zhang, Junyu
9
2019
Optimal energy-efficient policies for data centers through sensitivity-based optimization. Zbl 1435.68056
Ma, Jing-Yu; Xia, Li; Li, Quan-Lin
5
2019
Moment estimators for the parameters of Ornstein-Uhlenbeck processes driven by compound Poisson processes. Zbl 1425.93273
Wu, Yanfeng; Hu, Jianqiang; Zhang, Xinsheng
4
2019
Sparsity in max-plus algebra and systems. Zbl 1430.93040
Tsiamis, Anastasios; Maragos, Petros
3
2019
Markovian dynamics of concurrent systems. Zbl 1435.68210
Abbes, Samy
3
2019
A controller synthesis framework for automated service composition. Zbl 1441.93082
Atampore, Francis; Dingel, Juergen; Rudie, Karen
2
2019
Approximated timed reachability graphs for the robust control of discrete event systems. Zbl 1425.93034
Lefebvre, Dimitri
1
2019
Optimal on-off control for a class of discrete event systems with real-time constraints. Zbl 1425.93185
Miao, Lei; Xu, Lijian; Jiang, Dingde
1
2019
Coupling in the queue with impatience: case of several servers. Zbl 1430.90198
Moyal, Pascal
1
2019
Energy-efficient thermal-aware multiprocessor scheduling for real-time tasks using TCPN. Zbl 1435.68057
Rubio-Anguiano, L.; Desirena-López, G.; Ramírez-Treviño, A.; Briz, J. L.
1
2019
A discrete-event and hybrid traffic simulation model based on SimEvents for intelligent transportation system analysis in Mcity. Zbl 1441.93186
Zhang, Yue; Cassandras, Christos G.; Li, Wei; Mosterman, Pieter J.
1
2019
Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling. Zbl 1441.93291
Ibrahim, Michael; Reveliotis, Spyros
1
2019
Time-optimal control of large-scale systems of systems using compositional optimization. Zbl 1441.93010
Hagebring, Fredrik; Lennartson, Bengt
1
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
1
2019
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
11
2018
Current-state opacity enforcement in discrete event systems under incomparable observations. Zbl 1398.93223
Tong, Yin; Li, Zhiwu; Seatzu, Carla; Giua, Alessandro
10
2018
Detectability of networked discrete event systems. Zbl 1398.93221
Sasi, Yazeed; Lin, Feng
8
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
6
2018
Probabilistic system opacity in discrete event systems. Zbl 1398.93216
Keroglou, Christoforos; Hadjicostis, Christoforos N.
6
2018
Variance minimization of parameterized Markov decision processes. Zbl 1384.93142
Xia, Li
3
2018
Diagnosability of repairable faults. Zbl 1398.93214
Fabre, Eric; Hélouët, Loïc; Lefaucheux, Engel; Marchand, Hervé
3
2018
Faults prognosis using partially observed stochastic Petri nets: an incremental approach. Zbl 1398.93211
Ammour, Rabah; Leclercq, Edouard; Sanlaville, Eric; Lefebvre, Dimitri
3
2018
Implementation of inference-based diagnosis: computing delay bound and ambiguity levels. Zbl 1398.93222
Takai, Shigemasa; Kumar, Ratnesh
3
2018
Ranking nodes in general networks: a Markov multi-chain approach. Zbl 1384.93138
Berkhout, Joost; Heidergott, Bernd F.
1
2018
Instruction-throughput regulation in computer processors with data-center applications. Zbl 1384.93077
Chen, Xinwei; Wardi, Yorai; Yalamanchili, Sudhakar
1
2018
On controlling prioritized discrete event systems with real-time constraints. Zbl 1398.93218
Miao, Lei
1
2018
Assigning multiple job types to parallel specialized servers. Zbl 1407.90176
van der Laan, Dinard
1
2018
Finite horizon continuous-time Markov decision processes with mean and variance criteria. Zbl 1407.90204
Huang, Yonghui
1
2018
The risk probability criterion for discounted continuous-time Markov decision processes. Zbl 1386.93308
Huo, Haifeng; Zou, Xiaolong; Guo, Xianping
13
2017
Supervisory control and reactive synthesis: a comparative introduction. Zbl 1379.93068
Ehlers, Rüdiger; Lafortune, Stéphane; Tripakis, Stavros; Vardi, Moshe Y.
7
2017
Augmented finite transition systems as abstractions for control synthesis. Zbl 1379.93050
Nilsson, Petter; Ozay, Necmiye; Liu, Jun
7
2017
Diagnosability analysis of patterns on bounded labeled prioritized Petri nets. Zbl 1356.93055
Gougam, Houssam-Eddine; Pencolé, Yannick; Subias, Audine
5
2017
Average cost criterion induced by the regular utility function for continuous-time Markov decision processes. Zbl 1374.93388
Wei, Qingda; Chen, Xian
4
2017
Latticed-LTL synthesis in the presence of noisy inputs. Zbl 1374.93029
Almagor, Shaull; Kupferman, Orna
4
2017
Towards scalable synthesis of stochastic control systems. Zbl 1379.93087
Zamani, Majid; Tkachev, Ilya; Abate, Alessandro
4
2017
Maximally permissive controlled system synthesis for non-determinism and modal logic. Zbl 1356.93030
van Hulst, A. C.; Reniers, M. A.; Fokkink, W. J.
4
2017
A necessary and sufficient condition for diagnosability of stochastic discrete event systems. Zbl 1374.93242
Thorsley, David
3
2017
Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication. Zbl 1386.93001
Komenda, Jan; Masopust, Tomáš
3
2017
Predictability of fuzzy discrete event systems. Zbl 1378.93081
Benmessahel, Bilal; Touahria, Mohamed; Nouioua, Farid
3
2017
Empirical studies in the size of diagnosers and verifiers for diagnosability analysis. Zbl 1386.93194
Clavijo, Leonardo Bermeo; Basilio, JoĂŁo C.
3
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
3
2017
On the stability of a class of non-monotonic systems of parallel queues. Zbl 1356.93090
Moyal, Pascal
3
2017
On a generalization of power algorithms over MAX-plus algebra. Zbl 1356.93054
Fahim, Kistosil; Subiono; van der Woude, Jacob
3
2017
Cellular adaptive Petri net based on learning automata and its application to the vertex coloring problem. Zbl 1386.93196
Vahidipour, S. Mehdi; Meybodi, Mohammad Reza; Esnaashari, Mehdi
2
2017
Order-reduction abstractions for safety verification of high-dimensional linear systems. Zbl 1379.93026
Tran, Hoang-Dung; Nguyen, Luan Viet; Xiang, Weiming; Johnson, Taylor T.
2
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
2
2017
Fluid approximation of Petri net models with relatively small populations. Zbl 1374.93240
Fraca, EstĂ­baliz; JĂşlvez, Jorge; Silva, Manuel
1
2017
A pathwise comparison of parallel queues. Zbl 1422.90014
Moyal, Pascal
1
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
1
2017
Distributed supervisory control of discrete-event systems with communication delay. Zbl 1353.93073
Zhang, Renyuan; Cai, Kai; Gan, Yongmei; Wonham, W. M.
14
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
7
2016
Minimal sensor activation and minimal communication in discrete-event systems. Zbl 1353.93071
Sears, David; Rudie, Karen
7
2016
Synchronizing sequences on a class of unbounded systems using synchronized Petri nets. Zbl 1333.93170
Pocci, Marco; Demongodin, Isabel; Giambiasi, Norbert; Giua, Alessandro
7
2016
A framework for compositional nonblocking verification of extended finite-state machines. Zbl 1333.93169
Mohajerani, Sahar; Malik, Robi; Fabian, Martin
4
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
4
2016
A Poisson equation for the risk-sensitive average cost in semi-Markov chains. Zbl 1357.93089
Cavazos-Cadena, Rolando
3
2016
Determinization of timed Petri nets behaviors. Zbl 1346.93252
Komenda, Jan; Lahaye, SĂ©bastien; Boimond, Jean-Louis
3
2016
Block-structured supermarket models. Zbl 1354.93019
Li, Quan-Lin; Lui, John C. S.
2
2016
Analytic evaluation of the cycle time on networked conflicting timed event graphs in the (Max,+) algebra. Zbl 1357.93061
Boussahel, W. M.; Amari, S.; Kara, R.
2
2016
On-line compositional controller synthesis for AGV. Zbl 1357.93005
Girault, Johan; Loiseau, Jean-Jacques; Roux, Olivier H.
2
2016
Synchronization of a class of cyclic discrete-event systems describing legged locomotion. Zbl 1353.93069
Lopes, Gabriel A. D.; Kersbergen, Bart; De Schutter, Bart; van den Boom, Ton; Babuška, Robert
1
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
1
2016
VeriSIMPL 2: an open-source software for the verification of max-plus-linear systems. Zbl 1332.93255
Adzkiya, Dieky; Zhang, Yining; Abate, Alessandro
1
2016
Eigenproblems of Latin squares in bipartite \((\min, \max,+)\)-systems. Zbl 1357.93063
Subiono; Mufid, Muhammad Syifa’ul; Adzkiya, Dieky
1
2016
Tight performance bounds in the worst-case analysis of feed-forward networks. Zbl 1345.90026
Bouillard, Anne; Thierry, Éric
1
2016
The evaluation of pedestrians’ behavior using \(M/G/C/C\) analytical, weighted distance and real distance simulation models. Zbl 1345.93111
Khalid, Ruzelan; Nawawi, Mohd. Kamal Mohd.; Kawsar, Luthful A.; Ghani, Noraida A.; Kamil, Anton A.; Mustafa, Adli
1
2016
Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory. Zbl 1346.93257
Li, Ran; Reveliotis, Spyros
1
2016
Optimal control of hybrid switched systems: a brief survey. Zbl 1328.93137
Zhu, Feng; Antsaklis, Panos J.
34
2015
...and 336 more Documents
all top 5

Cited by 2,536 Authors

33 Giua, Alessandro
33 Lafortune, Stéphane
27 Cassandras, Christos G.
23 Li, Zhiwu
23 Lin, Feng
22 Seatzu, Carla
20 Komenda, Jan
20 Su, Rong
19 De Schutter, Bart
19 Lee, Loo Hay
18 Silva, Manuel
17 Masopust, Tomáš
17 Wonham, W. Murray
16 Takai, Shigemasa
16 van den Boom, Ton J. J.
15 Xia, Li
13 Azhmyakov, Vadim
13 Gaubert, Stéphane
13 JĂşlvez, Jorge
13 Lefebvre, Dimitri
13 Wardi, Yorai
13 Yin, Xiang
12 Amari, Said
12 Guo, Xianping
12 Hadjicostis, Christoforos N.
12 Lahaye, SĂ©bastien
12 Tao, Yuegang
12 van Schuppen, Jan H.
11 Basilio, JoĂŁo Carlos
11 Fu, Michael C.
11 Hardouin, Laurent
11 Mahulea, Cristian
11 Malik, Robi
11 Marchand, Hervé
11 Zhao, Qianchuan
10 Boimond, Jean-Louis
10 Ho, Yu-Chi
10 Li, Quanlin
10 Liu, Fuchun
10 Reveliotis, Spyros A.
9 Cai, Kai
9 Chen, Chun-Hung
9 Haar, Stefan
9 Heidergott, Bernd F.
9 Hélouët, Loïc
9 Legay, Axel
9 Lin, Liyong
9 Park, Seong-Jin
9 Tredup, Ronny
9 Yang, Jung-Min
9 Zhang, Kanjian
8 Akian, Marianne
8 Alla, Hassane
8 Cao, Xi-Ren
8 Chen, Zengqiang
8 Di Benedetto, Maria Domenica
8 Hammer, Jacob
8 Mairesse, Jean
8 Markey, Nicolas
8 Meyn, Sean P.
8 Moreira, Marcos Vicente
8 Raisch, Jörg
8 Ramírez-Treviño, Antonio
8 Vázquez, Carlos-Renato
8 Wang, Weilin
8 Xiao, Hui
7 Cao, Xiren
7 Chen, E. Jack
7 Chew, Ek Peng
7 Cho, Kwang-Hyun
7 Egerstedt, Magnus B.
7 Fabian, Martin
7 Gao, Siyang
7 Jia, Qing-Shan
7 Kara, Redouane
7 Kogan, Konstantin
7 Larsen, Kim Guldstrand
7 Lime, Didier
7 Ma, Ziyue
7 Maia, Carlos Andrey
7 Nagatani, Takashi
7 Peng, Yijie
7 Rooda, Jacobus E.
7 Roux, Olivier H.
7 Wu, Naiqi
7 Zhang, Renyuan
6 Al-Refa’ei, Mahmoud H.
6 AndradĂłttir, SigrĂşn
6 Bertsekas, Dimitri Panteli
6 Bouyer, Patricia
6 Cabasino, Maria Paola
6 Carvalho, Lilian Kawakami
6 Fabre, Eric
6 Gaujal, Bruno
6 Gokbayrak, Kagan
6 Guo, Yongjiang
6 Lin, Hai
6 Ma, Jingyu
6 Schmuck, Anne-Kathrin
6 Shneer, Vsevolod Vladislavovich
...and 2,436 more Authors
all top 5

Cited in 229 Journals

293 Discrete Event Dynamic Systems
193 Automatica
60 International Journal of Control
56 Nonlinear Analysis. Hybrid Systems
54 European Journal of Operational Research
45 Queueing Systems
35 Information Sciences
31 Systems & Control Letters
29 Annals of Operations Research
28 Journal of Optimization Theory and Applications
27 Theoretical Computer Science
27 European Journal of Control
26 Journal of the Franklin Institute
22 Mathematical Problems in Engineering
20 International Journal of Systems Science. Principles and Applications of Systems and Integration
17 INFORMS Journal on Computing
16 Operations Research
15 Linear Algebra and its Applications
15 Asian Journal of Control
14 Information and Computation
14 Computers & Operations Research
14 Formal Methods in System Design
13 The Annals of Applied Probability
10 Journal of Applied Probability
10 Real-Time Systems
9 Operations Research Letters
9 Mathematical and Computer Modelling
8 Journal of Mathematical Analysis and Applications
8 SIAM Journal on Control and Optimization
8 International Journal of Robust and Nonlinear Control
8 Probability in the Engineering and Informational Sciences
8 Stochastic Models
7 Artificial Intelligence
7 Kybernetika
7 International Journal of Production Research
7 Asia-Pacific Journal of Operational Research
7 Machine Learning
7 Discrete Dynamics in Nature and Society
7 Journal of Industrial and Management Optimization
7 Stochastic Systems
6 Advances in Applied Probability
6 Discrete Applied Mathematics
6 Physica A
6 Applied Mathematics and Computation
6 Journal of Global Optimization
6 Fundamenta Informaticae
6 Journal of Systems Science and Complexity
6 Logical Methods in Computer Science
6 Dynamic Games and Applications
5 International Journal of Systems Science
5 Fuzzy Sets and Systems
5 Mathematics of Operations Research
5 Naval Research Logistics
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 Mathematical Methods of Operations Research
5 Mathematical and Computer Modelling of Dynamical Systems
5 International Journal of Applied Mathematics and Computer Science
4 Acta Informatica
4 Computers & Mathematics with Applications
4 International Journal of General Systems
4 Mathematics and Computers in Simulation
4 Acta Mathematicae Applicatae Sinica. English Series
4 MCSS. Mathematics of Control, Signals, and Systems
4 MSCS. Mathematical Structures in Computer Science
4 The Journal of Artificial Intelligence Research (JAIR)
4 Journal of Applied Mathematics
4 Control Theory and Technology
3 Information Processing Letters
3 Journal of Statistical Physics
3 Journal of Computational and Applied Mathematics
3 Journal of Computer and System Sciences
3 Journal of Econometrics
3 Statistics & Probability Letters
3 Circuits, Systems, and Signal Processing
3 Stochastic Analysis and Applications
3 Journal of Automated Reasoning
3 Neural Networks
3 Neural Computation
3 Applied Mathematical Modelling
3 Stochastic Processes and their Applications
3 Mathematical Programming. Series A. Series B
3 Complexity
3 Discrete and Continuous Dynamical Systems
3 European Series in Applied and Industrial Mathematics (ESAIM): Control, Optimization and Calculus of Variations
3 Journal of Combinatorial Optimization
3 Discrete and Continuous Dynamical Systems. Series S
3 Journal of Dynamics and Games
3 Journal of Logical and Algebraic Methods in Programming
2 Applied Mathematics and Optimization
2 Computing
2 International Journal of Game Theory
2 Optimal Control Applications & Methods
2 Chinese Journal of Applied Probability and Statistics
2 Journal of Theoretical Probability
2 Journal of Intelligent & Robotic Systems
2 International Journal of Algebra and Computation
...and 129 more Journals
all top 5

Cited in 41 Fields

920 Systems theory; control (93-XX)
577 Operations research, mathematical programming (90-XX)
474 Computer science (68-XX)
251 Probability theory and stochastic processes (60-XX)
110 Calculus of variations and optimal control; optimization (49-XX)
107 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
71 Statistics (62-XX)
68 Linear and multilinear algebra; matrix theory (15-XX)
65 Numerical analysis (65-XX)
43 Combinatorics (05-XX)
39 Information and communication theory, circuits (94-XX)
33 Biology and other natural sciences (92-XX)
26 Dynamical systems and ergodic theory (37-XX)
24 Ordinary differential equations (34-XX)
23 Mathematical logic and foundations (03-XX)
12 Partial differential equations (35-XX)
11 Operator theory (47-XX)
8 Statistical mechanics, structure of matter (82-XX)
6 Order, lattices, ordered algebraic structures (06-XX)
6 Associative rings and algebras (16-XX)
4 Algebraic geometry (14-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 Category theory; homological algebra (18-XX)
2 History and biography (01-XX)
2 Field theory and polynomials (12-XX)
2 Group theory and generalizations (20-XX)
2 Measure and integration (28-XX)
2 Integral equations (45-XX)
2 General topology (54-XX)
2 Mechanics of particles and systems (70-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 Mechanics of deformable solids (74-XX)
1 Relativity and gravitational theory (83-XX)
1 Geophysics (86-XX)

Citations by Year