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: 608 Publications (since 1991) References Indexed: 474 Publications with 14,078 References. all top 5 Latest Issues 34, No. 2 (2024) 34, No. 1 (2024) 33, No. 4 (2023) 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) ...and 24 more Volumes all top 5 Authors 29 Lafortune, Stéphane 25 Cassandras, Christos G. 17 Giua, Alessandro 13 Lin, Feng 12 Wonham, Walter Murray 11 Boimond, Jean-Louis 11 Raisch, Jörg 10 Gaujal, Bruno 10 Lahaye, Sébastien 10 Reveliotis, Spyros A. 9 Komenda, Jan 9 Marchand, Hervé 8 De Schutter, Bart 8 Malik, Robi 8 Moor, Thomas 8 Wardi, Yorai 7 Cao, Xi-Ren 7 Declerck, Philippe 7 Hadjicostis, Christoforos N. 7 Heidergott, Bernd F. 7 Ho, Yu-Chi 7 Seatzu, Carla 7 Silva, Manuel 7 Teneketzis, Demosthenis 7 van den Boom, Ton J. J. 6 Antsaklis, Panos J. 6 Egerstedt, Magnus B. 6 Fabian, Martin 6 Lefebvre, Dimitri 6 Roux, Olivier H. 6 Shi, Leyuan 6 Su, Rong 6 Takai, Shigemasa 6 Yoo, Tae-Sic 5 Bouillard, Anne 5 Chen, E. Jack 5 Chong, Edwin Kah Pin 5 Cury, José Eduardo Ribeiro 5 Fabre, Eric 5 Hardouin, Laurent 5 Mahulea, Cristian 5 Reniers, Michel Adriaan 5 Rudie, Karen 5 Sreenivas, Ramavarapu S. 5 van Schuppen, Jan H. 5 Xia, Li 5 Xie, Xiaolan 5 Zhao, Qianchuan 4 Basilio, João Carlos 4 Benveniste, Albert 4 Boel, René K. 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 Rooda, Jacobus E. 4 Ushio, Toshimitsu 4 van de Mortel-Fronczak, Joanna M. 4 Vázquez-Abad, Felisa J. 4 Wong, Kai C. 4 Zheng, Dazhong 3 Åkesson, Knut 3 Alla, Hassane 3 Altman, Eitan 3 Amari, Said 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 Le Corronc, Euriell 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 Pencolé, Yannick 3 Pinchinat, Sophie ...and 821 more Authors all top 5 Fields 494 Systems theory; control (93-XX) 196 Operations research, mathematical programming (90-XX) 133 Computer science (68-XX) 79 Probability theory and stochastic processes (60-XX) 26 Linear and multilinear algebra; matrix theory (15-XX) 23 Calculus of variations and optimal control; optimization (49-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 449 Publications have been cited 2,939 times in 1,879 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. 98 2000 Coordinated decentralized protocols for failure diagnosis of discrete event systems. Zbl 0959.93039 Debouk, Rami; Lafortune, Stéphane; Teneketzis, Demosthenis 54 2000 Ordinal optimization of DEDS. Zbl 0754.60133 Ho, Y. C.; Sreenivas, R. S.; Vakili, P. 52 1992 Optimal control of hybrid switched systems: a brief survey. Zbl 1328.93137 Zhu, Feng; Antsaklis, Panos J. 48 2015 A survey of Petri net methods for controlled discrete event systems. Zbl 0968.93053 Holloway, L. E.; Krogh, B. H.; Giua, A. 47 1997 A general architecture for decentralized supervisory control of discrete-event systems. Zbl 1048.93067 Yoo, T.-S.; Lafortune, Stéphane 43 2002 Comparative analysis of related notions of opacity in centralized and coordinated architectures. Zbl 1272.93084 Wu, Yi-Chin; Lafortune, Stéphane 41 2013 Diagnosability of discrete event systems and its applications. Zbl 0800.93030 Lin, Feng 40 1994 Hierarchical control of discrete-event systems. Zbl 0898.93005 Wong, K. C.; Wonham, W. M. 33 1996 Eigenvalues of dynamic max-min systems. Zbl 0747.93014 Olsder, Geert Jan 33 1991 Concurrent secrets. Zbl 1125.93320 Badouel, E.; Bednarczyk, M.; Borzyszkowski, A.; Caillaud, B.; Darondeau, P. 31 2007 Optimal control of switching surfaces in hybrid dynamical systems. Zbl 1101.93054 Boccadoro, M.; Wardi, Y.; Egerstedt, M.; Verriest, E. 27 2005 Actuator saturation and anti-windup compensation in event-triggered control. Zbl 1296.93109 Kiener, Georg Alexander; Lehmann, Daniel; Johansson, Karl Henrik 27 2014 Min-max functions. Zbl 0841.93029 Gunawardena, Jeremy 26 1994 Supervisor reduction for discrete-event systems. Zbl 1035.93048 Su, R.; Wonham, W. M. 24 2004 Dynamical properties of timed automata. Zbl 0986.93042 Puri, Anuj 23 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 23 2011 The concert queueing game: to wait or to be late. Zbl 1213.90089 Jain, Rahul; Juneja, Sandeep; Shimkin, Nahum 23 2011 Approximate simulation relations for hybrid systems. Zbl 1395.93113 Girard, Antoine; Julius, A. Agung; Pappas, George J. 23 2008 Least squares policy evaluation algorithms with linear function approximation. Zbl 1030.93061 Nedić, A.; Bertsekas, D. P. 22 2003 Enforcement and validation (at runtime) of various notions of opacity. Zbl 1400.94143 Falcone, Yliès; Marchand, Hervé 22 2015 Bisimulation, the supervisory control problem and strong model matching for finite state machines. Zbl 0919.93005 Barrett, George; Lafortune, Stéphane 22 1998 On the computation of natural observers in discrete-event systems. Zbl 1195.93081 Feng, Lei; Wonham, W. M. 21 2010 Distributed monitoring of concurrent and asynchronous systems. Zbl 1077.68059 Fabre, Eric; Benveniste, Albert; Haar, Stefan; Jard, Claude 20 2005 Just in time control of constrained \((max,+)\)-linear systems. Zbl 1116.93039 Houssin, Laurent; Lahaye, Sébastien; Boimond, Jean-Louis 20 2007 Diagnosis of discrete event systems using decentralized architectures. Zbl 1115.93065 Wang, Yin; Yoo, Tae-Sic; Lafortune, Stéphane 20 2007 Stability of parallel queueing systems with coupled service rates. Zbl 1184.90048 Borst, Sem; Jonckheere, Matthieu; Leskelä, Lasse 19 2008 A mean field approach for optimization in discrete time. Zbl 1233.90275 Gast, Nicolas; Gaujal, Bruno 18 2011 On the computation of observers in discrete-event systems. Zbl 1035.93049 Wong, K. C.; Wonham, W. M. 17 2004 On-line control of partially observed discrete event systems. Zbl 0811.93004 Heymann, Michael; Lin, Feng 17 1994 Basic server semantics and performance monotonicity of continuous Petri nets. Zbl 1169.93367 Mahulea, Cristian; Recalde, Laura; Silva, Manuel 17 2009 Recent advances in hierarchical reinforcement learning. Zbl 1034.93003 Barto, Andrew G.; Mahadevan, Sridhar 16 2003 Basic ideas for event-based optimization of Markov systems. Zbl 1130.90054 Cao, Xiren 16 2005 Recent advances in hierarchical reinforcement learning. Zbl 1018.93035 Barto, Andrew G.; Mahadevan, Sridhar 16 2003 A random walk model for infection on graphs: spread of epidemics & rumours with mobile agents. Zbl 1242.92052 Draief, Moez; Ganesh, Ayalvadi 16 2011 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 On hybrid Petri nets. Zbl 0969.93024 David, René; Alla, Hassane 16 2001 Active acquisition of information for diagnosis and supervisory control of discrete event systems. Zbl 1125.93322 Thorsley, David; Teneketzis, Demosthenis 16 2007 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 Modeling, analysis and optimal control of a class of hybrid systems. Zbl 0915.93027 Pepyne, David L.; Cassandras, Christos G. 16 1998 Modular control and coordination of discrete-event systems. Zbl 0915.93028 Wong, Kai C.; Wonham, W. Murray 16 1998 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 The risk probability criterion for discounted continuous-time Markov decision processes. Zbl 1386.93308 Huo, Haifeng; Zou, Xiaolong; Guo, Xianping 15 2017 Diagnosis of intermittent faults. Zbl 1063.93031 Contant, Olivier; Lafortune, Stéphane; Teneketzis, Demosthenis 15 2004 Control of \((max, +)\)-linear systems minimizing delays. Zbl 1272.93083 Houssin, Laurent; Lahaye, Sébastien; Boimond, Jean-Louis 15 2013 Discrete supervisory control of hybrid systems based on \(l\)-complete approximations. Zbl 1002.93016 Moor, Thomas; Raisch, Jörg; O’Young, Siu 15 2002 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 15 2008 Current-state opacity enforcement in discrete event systems under incomparable observations. Zbl 1398.93223 Tong, Yin; Li, Zhiwu; Seatzu, Carla; Giua, Alessandro 15 2018 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 Dynamic setup scheduling and flow control in manufacturing systems. Zbl 0742.90040 Sharifnia, Ali; Caramanis, Michael; Gershwin, Stanley B. 14 1991 Model checking of time Petri nets using the state class timed automaton. Zbl 1113.68068 Lime, Didier; Roux, Olivier H. 14 2006 Distributed supervisory control of discrete-event systems with communication delay. Zbl 1353.93073 Zhang, Renyuan; Cai, Kai; Gan, Yongmei; Wonham, W. M. 14 2016 Asymptotic properties of monotonic nonexpansive mappings. Zbl 1035.93047 Sorin, Sylvain 13 2004 State observation and diagnosis of discrete-event systems described by stochastic automata. Zbl 1055.93056 Lunze, J.; Schröder, J. 13 2001 A discrete event systems approach for protocol conversion. Zbl 0960.93034 Kumar, Ratnesh; Nelvalgal, Sudhir; Marcus, Steven I. 13 1997 Multitasking supervisory control of discrete-event systems. Zbl 1101.93052 de Queiroz, Max H.; Cury, José E. R.; Wonham, W. M. 13 2005 Fault diagnosis in discrete event systems modeled by partially observed Petri nets. Zbl 1180.93069 Ru, Yu; Hadjicostis, Christoforos N. 13 2009 Supervisory control of \((\max,+)\) automata: a behavioral approach. Zbl 1180.93068 Komenda, Jan; Lahaye, Sébastien; Boimond, Jean-Louis 13 2009 Identification of Petri nets from knowledge of their language. Zbl 1125.93332 Cabasino, Maria Paola; Giua, Alessandro; Seatzu, Carla 13 2007 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 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 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 Tandem queues with general blocking: A unified model and comparison results. Zbl 0767.60091 Cheng, Dinah W.; Yao, David D. 12 1993 Input/output discrete event processes and communication delays. Zbl 0790.93002 Balemi, Silvano 12 1994 Fluid stochastic Petri nets augmented with flush-out arcs: Modelling and analysis. Zbl 0972.93040 Gribaudo, M.; Sereno, M.; Horváth, A.; Bobbio, A. 12 2001 Diagnosability of discrete event systems with modular structure. Zbl 1134.93306 Contant, Olivier; Lafortune, Stéphane; Teneketzis, Demosthenis 12 2006 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 12 2018 State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions. Zbl 1071.93028 Giua, Alessandro; Corona, Daniele; Seatzu, Carla 11 2005 Compositions of (max,+) automata. Zbl 1328.93168 Lahaye, Sébastien; Komenda, Jan; Boimond, Jean-Louis 11 2015 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 Diagnosing discrete-event systems: Extending the “diagnoser approach” to deal with telecommunication networks. Zbl 0993.93022 Rozé, Laurence; Cordier, Marie-Odile 11 2002 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 Approximating the minimal sensor selection for supervisory control. Zbl 1103.93019 Rohloff, Kurt R.; Khuller, Samir; Kortsarz, Guy 11 2006 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 Supervision based on place invariants: a survey. Zbl 1109.93031 Iordache, M. V.; Antsaklis, P. J. 11 2006 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 The level set method for the two-sided max-plus eigenproblem. Zbl 1279.15024 Gaubert, Stéphane; Sergeev, Sergeĭ 10 2013 Risk-sensitive continuous-time Markov decision processes with unbounded rates and Borel spaces. Zbl 1441.93338 Guo, Xianping; Zhang, Junyu 10 2019 Fluid limits and diffusion approximations for networks of multi-server queues in heavy traffic. Zbl 0814.60092 Chen, Hong; Shanthikumar, J. George 10 1994 On an optimization problem for a class of impulsive hybrid systems. Zbl 1197.49038 Attia, Sid Ahmed; Azhmyakov, Vadim; Raisch, Joerg 10 2010 Supervisory control and reactive synthesis: a comparative introduction. Zbl 1379.93068 Ehlers, Rüdiger; Lafortune, Stéphane; Tripakis, Stavros; Vardi, Moshe Y. 9 2017 Augmented finite transition systems as abstractions for control synthesis. Zbl 1379.93050 Nilsson, Petter; Ozay, Necmiye; Liu, Jun 9 2017 Compositional abstractions of hybrid control systems. Zbl 1060.93070 Tabuada, Paulo; Pappas, George J.; Lima, Pedro 9 2004 Synthesis of covert actuator attackers for free. Zbl 1458.93073 Lin, Liyong; Zhu, Yuting; Su, Rong 9 2020 Coordination control of discrete-event systems revisited. Zbl 1417.93207 Komenda, Jan; Masopust, Tomáš; van Schuppen, Jan H. 9 2015 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 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 Transient product form distributions in queueing networks. Zbl 0786.60113 Boucherie, Richard J.; Taylor, P. G. 9 1993 Some ergodic results on stochastic iterative discrete events systems. Zbl 0880.93057 Vincent, Jean-Marc 9 1997 Structured buffer-allocation problems. Zbl 0847.90066 Glasserman, Paul; Yao, David D. 9 1996 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 Do what you know: coupling knowledge with action in discrete-event systems. Zbl 1522.93128 Ritsuka, K.; Rudie, K. 1 2023 Weakly linear systems for matrices over the max-plus quantale. Zbl 1489.93042 Stamenković, Aleksandar; Ćirić, Miroslav; Djurdjanović, Dragan 2 2022 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 Epistemic interpretations of decentralized discrete-event system problems. Zbl 1500.93066 Ean, Richard; Rudie, Karen 2 2022 Zero-sum semi-Markov games with state-action-dependent discount factors. Zbl 1526.91002 Yu, Zhihui; Guo, Xianping; Xia, Li 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 Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis. Zbl 1489.93071 Godary-Dejean, Karen; Leroux, Hélène; Andreu, David 1 2022 Supervisory controller synthesis and implementation for safety PLCs. Zbl 1489.93003 Reijnen, Ferdie F. H.; Erens, Toby R.; van de Mortel-Fronczak, Joanna M.; Rooda, Jacobus E. 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 Transformational supervisor synthesis for evolving systems. Zbl 1492.93116 Thuijsman, Sander; Reniers, Michel 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áš 5 2021 Long time behaviour for Markovian branching-immigration systems. Zbl 1478.93666 Li, Junping; Cheng, Lan; Li, Liuyan 4 2021 Decentralized state estimation and diagnosis of p-time labeled Petri nets systems. Zbl 1478.93381 Bonhomme, Patrice 3 2021 Counter approach for the estimation of optimal sequences in partially observable untimed Petri nets. Zbl 1480.93261 Declerck, P. 3 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 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 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 Optimal modular control of discrete event systems with distinguishers and approximations. Zbl 1480.93267 Malik, Robi; Teixeira, Marcelo 1 2021 Critical subsystems in time interval models. Application to a baking process. Zbl 1478.93386 Declerck, P. 1 2021 Failure detection and localization for timed event graphs in \((\max,+)\)-algebra. Zbl 1480.93265 Le Corronc, Euriell; Pencolé, Yannick; Sahuguède, Alexandre; Paya, Claire 1 2021 Synthesis of covert actuator attackers for free. Zbl 1458.93073 Lin, Liyong; Zhu, Yuting; Su, Rong 9 2020 On detectability of labeled Petri nets and finite automata. Zbl 1448.93038 Zhang, Kuize; Giua, Alessandro 5 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 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. 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 Submodular optimization problems and greedy strategies: a survey. Zbl 1453.90134 Liu, Yajing; Chong, Edwin K. P.; Pezeshki, Ali; Zhang, Zhenliang 3 2020 On the relation between reactive synthesis and supervisory control of non-terminating processes. Zbl 1441.93173 Schmuck, Anne-Kathrin; Moor, Thomas; Majumdar, Rupak 3 2020 A contribution to the determinization of max-plus automata. Zbl 1435.68177 Lahaye, Sébastien; Lai, Aiwen; Komenda, Jan; Boimond, Jean-Louis 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 On the computation of counterexamples in compositional nonblocking verification. Zbl 1448.93205 Malik, Robi; Ware, Simon 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 Refinements of behavioural abstractions for the supervisory control of hybrid systems. Zbl 1454.93121 Yang, Jung-Min; Moor, Thomas; Raisch, Jörg 1 2020 Leveraging Horn clause solving for compositional verification of PLC software. Zbl 1435.68190 Bohlender, Dimitri; Kowalewski, Stefan 1 2020 Risk-sensitive continuous-time Markov decision processes with unbounded rates and Borel spaces. Zbl 1441.93338 Guo, Xianping; Zhang, Junyu 10 2019 Sparsity in max-plus algebra and systems. Zbl 1430.93040 Tsiamis, Anastasios; Maragos, Petros 5 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 4 2019 A controller synthesis framework for automated service composition. Zbl 1441.93082 Atampore, Francis; Dingel, Juergen; Rudie, Karen 2 2019 Time-optimal control of large-scale systems of systems using compositional optimization. Zbl 1441.93010 Hagebring, Fredrik; Lennartson, Bengt 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 Flexible nets: a modeling formalism for dynamic systems with uncertain parameters. Zbl 1441.93159 Júlvez, Jorge; Oliver, Stephen G. 1 2019 Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling. Zbl 1441.93291 Ibrahim, Michael; Reveliotis, Spyros 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 Current-state opacity enforcement in discrete event systems under incomparable observations. Zbl 1398.93223 Tong, Yin; Li, Zhiwu; Seatzu, Carla; Giua, Alessandro 15 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 12 2018 Detectability of networked discrete event systems. Zbl 1398.93221 Sasi, Yazeed; Lin, Feng 9 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 Faults prognosis using partially observed stochastic Petri nets: an incremental approach. Zbl 1398.93211 Ammour, Rabah; Leclercq, Edouard; Sanlaville, Eric; Lefebvre, Dimitri 4 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 Implementation of inference-based diagnosis: computing delay bound and ambiguity levels. Zbl 1398.93222 Takai, Shigemasa; Kumar, Ratnesh 3 2018 Instruction-throughput regulation in computer processors with data-center applications. Zbl 1384.93077 Chen, Xinwei; Wardi, Yorai; Yalamanchili, Sudhakar 1 2018 Finite horizon continuous-time Markov decision processes with mean and variance criteria. Zbl 1407.90204 Huang, Yonghui 1 2018 Ranking nodes in general networks: a Markov multi-chain approach. Zbl 1384.93138 Berkhout, Joost; Heidergott, Bernd F. 1 2018 Assigning multiple job types to parallel specialized servers. Zbl 1407.90176 van der Laan, Dinard 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 15 2017 Supervisory control and reactive synthesis: a comparative introduction. Zbl 1379.93068 Ehlers, Rüdiger; Lafortune, Stéphane; Tripakis, Stavros; Vardi, Moshe Y. 9 2017 Augmented finite transition systems as abstractions for control synthesis. Zbl 1379.93050 Nilsson, Petter; Ozay, Necmiye; Liu, Jun 9 2017 Diagnosability analysis of patterns on bounded labeled prioritized Petri nets. Zbl 1356.93055 Gougam, Houssam-Eddine; Pencolé, Yannick; Subias, Audine 6 2017 Towards scalable synthesis of stochastic control systems. Zbl 1379.93087 Zamani, Majid; Tkachev, Ilya; Abate, Alessandro 5 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. 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 Predictability of fuzzy discrete event systems. Zbl 1378.93081 Benmessahel, Bilal; Touahria, Mohamed; Nouioua, Farid 4 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. 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 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 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 Automated generation of dynamics-based runtime certificates for high-level control. Zbl 1379.93049 De Castro, Jonathan; Ehlers, Rüdiger; Rungger, Matthias; Balkan, Ayça; Kress-Gazit, Hadas 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 8 2016 Minimal sensor activation and minimal communication in discrete-event systems. Zbl 1353.93071 Sears, David; Rudie, Karen 8 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 6 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 Determinization of timed Petri nets behaviors. Zbl 1346.93252 Komenda, Jan; Lahaye, Sébastien; Boimond, Jean-Louis 4 2016 A Poisson equation for the risk-sensitive average cost in semi-Markov chains. Zbl 1357.93089 Cavazos-Cadena, Rolando 3 2016 ...and 349 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 2,754 Authors 35 Lafortune, Stéphane 33 Giua, Alessandro 29 Li, Zhiwu 27 Cassandras, Christos G. 24 Lin, Feng 22 Seatzu, Carla 21 Komenda, Jan 20 Su, Rong 19 De Schutter, Bart 19 Lee, Loo Hay 18 Silva, Manuel 17 Amari, Said 17 Masopust, Tomáš 17 Wonham, Walter Murray 16 Takai, Shigemasa 16 van den Boom, Ton J. J. 16 Yin, Xiang 15 Xia, Li 13 Azhmyakov, Vadim 13 Gaubert, Stéphane 13 Júlvez, Jorge 13 Lefebvre, Dimitri 13 Tao, Yuegang 13 Wardi, Yorai 12 Guo, Xianping 12 Hadjicostis, Christoforos N. 12 Lahaye, Sébastien 12 van Schuppen, Jan H. 11 Basilio, João Carlos 11 Fu, Michael C. 11 Hardouin, Laurent 11 Liu, Fuchun 11 Mahulea, Cristian 11 Malik, Robi 11 Marchand, Hervé 11 Wu, Naiqi 11 Yang, Jung-Min 11 Zhao, Qianchuan 10 Boimond, Jean-Louis 10 Chen, Zengqiang 10 Ho, Yu-Chi 10 Li, Quanlin 10 Reveliotis, Spyros A. 10 Xiao, Hui 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 Moreira, Marcos Vicente 9 Park, Seong-Jin 9 Raisch, Jörg 9 Ramírez-Treviño, Antonio 9 Tredup, Ronny 9 Vázquez, Carlos-Renato 9 Zhang, Kanjian 8 Akian, Marianne 8 Alla, Hassane 8 Cao, Xi-Ren 8 Di Benedetto, Maria Domenica 8 Gao, Siyang 8 Hammer, Jacob 8 Mairesse, Jean 8 Markey, Nicolas 8 Meyn, Sean P. 8 Wang, Weilin 7 Cao, Xiren 7 Carvalho, Lilian Kawakami 7 Chen, E. Jack 7 Chew, Ek Peng 7 Cho, Kwang-Hyun 7 Egerstedt, Magnus B. 7 Fabian, Martin 7 Guo, Yongjiang 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 Schmuck, Anne-Kathrin 7 Wang, Cailu 7 Zhang, Renyuan 7 Zhang, Zhipeng 6 Al-Refa’ei, Mahmoud H. 6 Andradóttir, Sigrún 6 Barkallah, Maher 6 Bertsekas, Dimitri Panteli 6 Bouyer, Patricia 6 Cabasino, Maria Paola 6 Declerck, Philippe 6 Fabre, Eric 6 Gaujal, Bruno ...and 2,654 more Authors all top 5 Cited in 241 Journals 305 Discrete Event Dynamic Systems 203 Automatica 63 International Journal of Control 58 Nonlinear Analysis. Hybrid Systems 54 European Journal of Operational Research 46 Information Sciences 45 Queueing Systems 32 Systems & Control Letters 30 Annals of Operations Research 29 Asian Journal of Control 28 Journal of Optimization Theory and Applications 28 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 16 International Journal of Robust and Nonlinear Control 15 Linear Algebra and its Applications 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 Mathematical and Computer Modelling 10 Real-Time Systems 9 Kybernetika 9 Operations Research Letters 9 ACM Transactions on Modeling and Computer Simulation 8 Artificial Intelligence 8 Journal of Mathematical Analysis and Applications 8 SIAM Journal on Control and Optimization 8 Probability in the Engineering and Informational Sciences 8 Journal of Systems Science and Complexity 8 Stochastic Models 7 Naval Research Logistics 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 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 6 Journal of Global Optimization 6 International Journal of Applied Mathematics and Computer Science 6 Fundamenta Informaticae 6 Logical Methods in Computer Science 6 IET Control Theory & Applications 6 Dynamic Games and Applications 5 International Journal of Systems Science 5 Fuzzy Sets and Systems 5 Mathematics of Operations Research 5 Optimal Control Applications & Methods 5 Acta Mathematicae Applicatae Sinica. English Series 5 Formal Aspects of Computing 5 Automation and Remote Control 5 Top 5 The Journal of Artificial Intelligence Research (JAIR) 5 Mathematical Methods of Operations Research 5 Mathematical and Computer Modelling of Dynamical Systems 4 Acta Informatica 4 Computers & Mathematics with Applications 4 International Journal of General Systems 4 Journal of Computational and Applied Mathematics 4 Journal of Computer and System Sciences 4 Mathematics and Computers in Simulation 4 MCSS. Mathematics of Control, Signals, and Systems 4 Mathematical Structures in Computer Science 4 Journal of Applied Mathematics 4 Discrete and Continuous Dynamical Systems. Series S 4 Control Theory and Technology 3 Information Processing Letters 3 Journal of Statistical Physics 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 Journal of Theoretical Probability 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 The Journal of Logic and Algebraic Programming 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 Chinese Journal of Applied Probability and Statistics ...and 141 more Journals all top 5 Cited in 43 Fields 1,008 Systems theory; control (93-XX) 600 Operations research, mathematical programming (90-XX) 509 Computer science (68-XX) 257 Probability theory and stochastic processes (60-XX) 120 Calculus of variations and optimal control; optimization (49-XX) 117 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 81 Statistics (62-XX) 77 Linear and multilinear algebra; matrix theory (15-XX) 66 Numerical analysis (65-XX) 45 Combinatorics (05-XX) 42 Information and communication theory, circuits (94-XX) 35 Biology and other natural sciences (92-XX) 29 Dynamical systems and ergodic theory (37-XX) 25 Mathematical logic and foundations (03-XX) 25 Ordinary differential equations (34-XX) 14 Partial differential equations (35-XX) 12 Operator theory (47-XX) 8 Associative rings and algebras (16-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 7 Statistical mechanics, structure of matter (82-XX) 6 Algebraic geometry (14-XX) 5 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) 3 Mechanics of particles and systems (70-XX) 2 History and biography (01-XX) 2 Field theory and polynomials (12-XX) 2 Group theory and generalizations (20-XX) 2 Real functions (26-XX) 2 Measure and integration (28-XX) 2 Integral equations (45-XX) 2 General topology (54-XX) 1 General algebraic systems (08-XX) 1 Approximations and expansions (41-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