Discrete Event Dynamic SystemsTheory 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 all top 5 Fields 478 Systems theory; control (93-XX) 192 Operations research, mathematical programming (90-XX) 130 Computer science (68-XX) 77 Probability theory and stochastic processes (60-XX) 23 Calculus of variations and optimal control; optimization (49-XX) 22 Linear and multilinear algebra; matrix theory (15-XX) 22 Information and communication theory, circuits (94-XX) 21 Numerical analysis (65-XX) 19 Combinatorics (05-XX) 17 General and overarching topics; collections (00-XX) 12 Mathematical logic and foundations (03-XX) 12 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 10 Statistics (62-XX) 5 Dynamical systems and ergodic theory (37-XX) 4 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) 1 Operator theory (47-XX) Publications by Year all cited Publications top 5 cited Publications 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 Bisimulation, the supervisory control problem and strong model matching for finite state machines. Zbl 0919.93005 Barrett, George; Lafortune, StĂ©phane 22 1998 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 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 Supervisor reduction for discrete-event systems. Zbl 1035.93048 Su, R.; Wonham, W. M. 22 2004 The concert queueing game: to wait or to be late. Zbl 1213.90089 Jain, Rahul; Juneja, Sandeep; Shimkin, Nahum 21 2011 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 Diagnosis of discrete event systems using decentralized architectures. Zbl 1115.93065 Wang, Yin; Yoo, Tae-Sic; Lafortune, StĂ©phane 20 2007 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 Basic server semantics and performance monotonicity of continuous Petri nets. Zbl 1169.93367 Mahulea, Cristian; Recalde, Laura; Silva, Manuel 17 2009 A mean field approach for optimization in discrete time. Zbl 1233.90275 Gast, Nicolas; Gaujal, Bruno 17 2011 On the computation of observers in discrete-event systems. Zbl 1035.93049 Wong, K. C.; Wonham, W. M. 17 2004 Switched-mode systems: gradient-descent algorithms with Armijo step sizes. Zbl 1329.49059 Wardi, Y.; Egerstedt, M.; Hale, M. 16 2015 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 On-line control of partially observed discrete event systems. Zbl 0811.93004 Heymann, Michael; Lin, Feng 16 1994 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 Basic ideas for event-based optimization of Markov systems. Zbl 1130.90054 Cao, Xiren 16 2005 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 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 Recent advances in hierarchical reinforcement learning. Zbl 1034.93003 Barto, Andrew G.; Mahadevan, Sridhar 15 2003 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 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 Control of \((max, +)\)-linear systems minimizing delays. Zbl 1272.93083 Houssin, Laurent; Lahaye, SĂ©bastien; Boimond, Jean-Louis 14 2013 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 Distributed supervisory control of discrete-event systems with communication delay. Zbl 1353.93073 Zhang, Renyuan; Cai, Kai; Gan, Yongmei; Wonham, W. M. 14 2016 Active acquisition of information for diagnosis and supervisory control of discrete event systems. Zbl 1125.93322 Thorsley, David; Teneketzis, Demosthenis 14 2007 The risk probability criterion for discounted continuous-time Markov decision processes. Zbl 1386.93308 Huo, Haifeng; Zou, Xiaolong; Guo, Xianping 13 2017 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 Event-based optimization of admission control in open queueing networks. Zbl 1296.93115 Xia, Li 13 2014 An algorithmic toolbox for network calculus. Zbl 1162.90364 Bouillard, Anne; Thierry, Éric 13 2008 Asymptotic properties of monotonic nonexpansive mappings. Zbl 1035.93047 Sorin, Sylvain 13 2004 Input/output discrete event processes and communication delays. Zbl 0790.93002 Balemi, Silvano 12 1994 A discrete event systems approach for protocol conversion. Zbl 0960.93034 Kumar, Ratnesh; Nelvalgal, Sudhir; Marcus, Steven I. 12 1997 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 proximal point based approach to optimal control of affine switched systems. Zbl 1242.49080 Azhmyakov, Vadim; Basin, Michael V.; Raisch, Jörg 12 2012 Fault diagnosis in discrete event systems modeled by partially observed Petri nets. Zbl 1180.93069 Ru, Yu; Hadjicostis, Christoforos N. 12 2009 Identification of Petri nets from knowledge of their language. Zbl 1125.93332 Cabasino, Maria Paola; Giua, Alessandro; Seatzu, Carla 12 2007 Tandem queues with general blocking: A unified model and comparison results. Zbl 0767.60091 Cheng, Dinah W.; Yao, David D. 12 1993 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 Diagnosing discrete-event systems: Extending the “diagnoser approach” to deal with telecommunication networks. Zbl 0993.93022 RozĂ©, Laurence; Cordier, Marie-Odile 11 2002 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 Multitasking supervisory control of discrete-event systems. Zbl 1101.93052 de Queiroz, Max H.; Cury, JosĂ© E. R.; Wonham, W. M. 11 2005 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 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 Supervisory control of \((\max,+)\) automata: a behavioral approach. Zbl 1180.93068 Komenda, Jan; Lahaye, SĂ©bastien; Boimond, Jean-Louis 11 2009 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 Compositional synthesis of maximally permissive supervisors using supervision equivalence. Zbl 1125.93018 Flordal, Hugo; Malik, Robi; Fabian, Martin; Ă…kesson, Knut 11 2007 Diagnosability analysis of hybrid systems cast in a discrete-event framework. Zbl 1307.93247 Bayoudh, Mehdi; TravĂ©-Massuyès, Louise 10 2014 On an optimization problem in sensor selection. Zbl 1087.93059 Debouk, Rami; Lafortune, StĂ©phane; Teneketzis, Demosthenis 10 2002 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 Current-state opacity enforcement in discrete event systems under incomparable observations. Zbl 1398.93223 Tong, Yin; Li, Zhiwu; Seatzu, Carla; Giua, Alessandro 10 2018 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 Performance evaluation and policy selection in multiclass networks. Zbl 1019.93056 Henderson, Shane G.; Meyn, Sean P.; Tadić, Vladislav B. 10 2003 On an optimization problem for a class of impulsive hybrid systems. Zbl 1197.49038 Attia, Sid Ahmed; Azhmyakov, Vadim; Raisch, Joerg 10 2010 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 Fluid limits and diffusion approximations for networks of multi-server queues in heavy traffic. Zbl 0814.60092 Chen, Hong; Shanthikumar, J. George 9 1994 Structured buffer-allocation problems. Zbl 0847.90066 Glasserman, Paul; Yao, David D. 9 1996 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 The Brownian approximation for rate-control throttles and the \(G/G/1/C\) queue. Zbl 0754.60102 Berger, Arthur W.; Whitt, Ward 9 1992 Recursive equations and basic properties of timed Petri nets. Zbl 0753.60084 Baccelli, François; Cohen, Guy; Gaujal, Bruno 9 1992 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 Risk-sensitive continuous-time Markov decision processes with unbounded rates and Borel spaces. Zbl 1441.93338 Guo, Xianping; Zhang, Junyu 9 2019 Modal specifications for the control theory of discrete event systems. Zbl 1116.93037 Feuillade, Guillaume; Pinchinat, Sophie 9 2007 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 Towards a (max,+) control theory for public transportation networks. Zbl 0999.93046 Heidergott, B.; de Vries, R. 8 2001 Coordination control of discrete-event systems revisited. Zbl 1417.93207 Komenda, Jan; Masopust, Tomáš; van Schuppen, Jan H. 8 2015 Transient product form distributions in queueing networks. Zbl 0786.60113 Boucherie, Richard J.; Taylor, P. G. 8 1993 Detectability of networked discrete event systems. Zbl 1398.93221 Sasi, Yazeed; Lin, Feng 8 2018 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 Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies. Zbl 1505.93002 Matsui, Shoma; Lafortune, StĂ©phane 1 2022 Weakly linear systems for matrices over the max-plus quantale. Zbl 1489.93042 Stamenković, Aleksandar; Ćirić, Miroslav; Djurdjanović, Dragan 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 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 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 A contribution to the determinization of max-plus automata. Zbl 1435.68177 Lahaye, SĂ©bastien; Lai, Aiwen; Komenda, Jan; Boimond, Jean-Louis 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 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 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 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 Markovian dynamics of concurrent systems. Zbl 1435.68210 Abbes, Samy 3 2019 Sparsity in max-plus algebra and systems. Zbl 1430.93040 Tsiamis, Anastasios; Maragos, Petros 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 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 Coupling in the queue with impatience: case of several servers. Zbl 1430.90198 Moyal, Pascal 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 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 On controlling prioritized discrete event systems with real-time constraints. Zbl 1398.93218 Miao, Lei 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 Towards scalable synthesis of stochastic control systems. Zbl 1379.93087 Zamani, Majid; Tkachev, Ilya; Abate, Alessandro 4 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 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 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 A necessary and sufficient condition for diagnosability of stochastic discrete event systems. Zbl 1374.93242 Thorsley, David 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 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 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 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 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 framework for compositional nonblocking verification of extended finite-state machines. Zbl 1333.93169 Mohajerani, Sahar; Malik, Robi; Fabian, Martin 4 2016 Determinization of timed Petri nets behaviors. Zbl 1346.93252 Komenda, Jan; Lahaye, SĂ©bastien; Boimond, Jean-Louis 3 2016 A Poisson equation for the risk-sensitive average cost in semi-Markov chains. Zbl 1357.93089 Cavazos-Cadena, Rolando 3 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 Block-structured supermarket models. Zbl 1354.93019 Li, Quan-Lin; Lui, John C. S. 2 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 Eigenproblems of Latin squares in bipartite \((\min, \max,+)\)-systems. Zbl 1357.93063 Subiono; Mufid, Muhammad Syifa’ul; Adzkiya, Dieky 1 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 Optimal control of hybrid switched systems: a brief survey. Zbl 1328.93137 Zhu, Feng; Antsaklis, Panos J. 34 2015 ...and 336 more Documents all cited Publications top 5 cited Publications 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) 72 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