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 12 Rudie, Karen 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 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 427 Publications have been cited 2,654 times in 1,685 Documents Cited by ▼ Year ▼ Simulation budget allocation for further enhancing the efficiency of ordinal optimization. Zbl 0970.90014Chen, Chun-Hung; Lin, Jianwu; Yücesan, Enver; Chick, Stephen E. 91 2000 Coordinated decentralized protocols for failure diagnosis of discrete event systems. Zbl 0959.93039Debouk, Rami; Lafortune, Stéphane; Teneketzis, Demosthenis 52 2000 Ordinal optimization of DEDS. Zbl 0754.60133Ho, Y. C.; Sreenivas, R. S.; Vakili, P. 51 1992 A survey of Petri net methods for controlled discrete event systems. Zbl 0968.93053Holloway, L. E.; Krogh, B. H.; Giua, A. 43 1997 A general architecture for decentralized supervisory control of discrete-event systems. Zbl 1048.93067Yoo, T.-S.; Lafortune, Stéphane 41 2002 Diagnosability of discrete event systems and its applications. Zbl 0800.93030Lin, Feng 37 1994 Comparative analysis of related notions of opacity in centralized and coordinated architectures. Zbl 1272.93084Wu, Yi-Chin; Lafortune, Stéphane 35 2013 Eigenvalues of dynamic max-min systems. Zbl 0747.93014Olsder, Geert Jan 33 1991 Optimal control of hybrid switched systems: a brief survey. Zbl 1328.93137Zhu, Feng; Antsaklis, Panos J. 32 2015 Hierarchical control of discrete-event systems. Zbl 0898.93005Wong, K. C.; Wonham, W. M. 30 1996 Concurrent secrets. Zbl 1125.93320Badouel, E.; Bednarczyk, M.; Borzyszkowski, A.; Caillaud, B.; Darondeau, P. 29 2007 Min-max functions. Zbl 0841.93029Gunawardena, Jeremy 25 1994 Optimal control of switching surfaces in hybrid dynamical systems. Zbl 1101.93054Boccadoro, M.; Wardi, Y.; Egerstedt, M.; Verriest, E. 24 2005 On fluidization of discrete event models: Observation and control of continuous Petri nets. Zbl 1235.93154Silva, Manuel; Júlvez, Jorge; Mahulea, Cristian; Vázquez, C. Renato 22 2011 Supervisor reduction for discrete-event systems. Zbl 1035.93048Su, R.; Wonham, W. M. 22 2004 Least squares policy evaluation algorithms with linear function approximation. Zbl 1030.93061Nedić, A.; Bertsekas, D. P. 22 2003 Bisimulation, the supervisory control problem and strong model matching for finite state machines. Zbl 0919.93005Barrett, George; Lafortune, Stéphane 22 1998 Dynamical properties of timed automata. Zbl 0986.93042Puri, Anuj 22 2000 Actuator saturation and anti-windup compensation in event-triggered control. Zbl 1296.93109Kiener, Georg Alexander; Lehmann, Daniel; Johansson, Karl Henrik 21 2014 On the computation of natural observers in discrete-event systems. Zbl 1195.93081Feng, Lei; Wonham, W. M. 20 2010 Diagnosis of discrete event systems using decentralized architectures. Zbl 1115.93065Wang, Yin; Yoo, Tae-Sic; Lafortune, Stéphane 20 2007 Distributed monitoring of concurrent and asynchronous systems. Zbl 1077.68059Fabre, Eric; Benveniste, Albert; Haar, Stefan; Jard, Claude 20 2005 The concert queueing game: to wait or to be late. Zbl 1213.90089Jain, Rahul; Juneja, Sandeep; Shimkin, Nahum 19 2011 Enforcement and validation (at runtime) of various notions of opacity. Zbl 1400.94143Falcone, Yliès; Marchand, Hervé 18 2015 Approximate simulation relations for hybrid systems. Zbl 1395.93113Girard, Antoine; Julius, A. Agung; Pappas, George J. 18 2008 Stability of parallel queueing systems with coupled service rates. Zbl 1184.90048Borst, Sem; Jonckheere, Matthieu; Leskelä, Lasse 17 2008 Basic server semantics and performance monotonicity of continuous Petri nets. Zbl 1169.93367Mahulea, Cristian; Recalde, Laura; Silva, Manuel 17 2009 On the computation of observers in discrete-event systems. Zbl 1035.93049Wong, K. C.; Wonham, W. M. 16 2004 The relations among potentials, perturbation analysis, and Markov decision processes. Zbl 1126.93332Cao, Xi-Ren 16 1998 Modeling, analysis and optimal control of a class of hybrid systems. Zbl 0915.93027Pepyne, David L.; Cassandras, Christos G. 16 1998 A first step towards adaptive control for linear systems in max algebra. Zbl 0976.93057Menguy, E.; Boimond, J. L.; Hardouin, L.; Ferrier, J. L. 16 2000 On-line control of partially observed discrete event systems. Zbl 0811.93004Heymann, Michael; Lin, Feng 16 1994 Switched-mode systems: gradient-descent algorithms with Armijo step sizes. Zbl 1329.49059Wardi, Y.; Egerstedt, M.; Hale, M. 16 2015 A random walk model for infection on graphs: spread of epidemics & rumours with mobile agents. Zbl 1242.92052Draief, Moez; Ganesh, Ayalvadi 16 2011 Modular control and coordination of discrete-event systems. Zbl 0915.93028Wong, Kai C.; Wonham, M. Murray 15 1998 Recent advances in hierarchical reinforcement learning. Zbl 1034.93003Barto, Andrew G.; Mahadevan, Sridhar 15 2003 Just in time control of constrained \((max,+)\)-linear systems. Zbl 1116.93039Houssin, Laurent; Lahaye, Sébastien; Boimond, Jean-Louis 15 2007 Diagnosis of intermittent faults. Zbl 1063.93031Contant, Olivier; Lafortune, Stéphane; Teneketzis, Demosthenis 15 2004 Dynamic setup scheduling and flow control in manufacturing systems. Zbl 0742.90040Sharifnia, Ali; Caramanis, Michael; Gershwin, Stanley B. 14 1991 Analyzing security protocols using time-bounded task-PIOAs. Zbl 1161.93320Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; Pereira, Olivier; Segala, Roberto 14 2008 Recent advances in hierarchical reinforcement learning. Zbl 1018.93035Barto, Andrew G.; Mahadevan, Sridhar 14 2003 Optimal production planning in a multi-product stochastic manufacturing system with long-run average cost. Zbl 0907.90179Sethi, S. P.; Suo, W.; Taksar, M. I.; Yan, H. 14 1998 On hybrid Petri nets. Zbl 0969.93024David, René; Alla, Hassane 14 2001 Reachability problems and abstract state spaces for time Petri nets with stopwatches. Zbl 1134.93369Berthomieu, Bernard; Lime, Didier; Roux, Olivier H.; Vernadat, François 14 2007 Active acquisition of information for diagnosis and supervisory control of discrete event systems. Zbl 1125.93322Thorsley, David; Teneketzis, Demosthenis 14 2007 Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation. Zbl 0880.93016Ben Hadj-Alouane, Nejib; Lafortune, Stéphane; Lin, Feng 14 1996 Basic ideas for event-based optimization of Markov systems. Zbl 1130.90054Cao, Xiren 14 2005 A mean field approach for optimization in discrete time. Zbl 1233.90275Gast, Nicolas; Gaujal, Bruno 14 2011 An algorithmic toolbox for network calculus. Zbl 1162.90364Bouillard, Anne; Thierry, Éric 13 2008 Control of \((max, +)\)-linear systems minimizing delays. Zbl 1272.93083Houssin, Laurent; Lahaye, Sébastien; Boimond, Jean-Louis 13 2013 State observation and diagnosis of discrete-event systems described by stochastic automata. Zbl 1055.93056Lunze, J.; Schröder, J. 13 2001 Asymptotic properties of monotonic nonexpansive mappings. Zbl 1035.93047Sorin, Sylvain 13 2004 Model checking of time Petri nets using the state class timed automaton. Zbl 1113.68068Lime, Didier; Roux, Olivier H. 13 2006 Event-based optimization of admission control in open queueing networks. Zbl 1296.93115Xia, Li 13 2014 Tandem queues with general blocking: A unified model and comparison results. Zbl 0767.60091Cheng, Dinah W.; Yao, David D. 12 1993 A proximal point based approach to optimal control of affine switched systems. Zbl 1242.49080Azhmyakov, Vadim; Basin, Michael V.; Raisch, Jörg 12 2012 A discrete event systems approach for protocol conversion. Zbl 0960.93034Kumar, Ratnesh; Nelvalgal, Sudhir; Marcus, Steven I. 12 1997 On the effect of communication delays in failure diagnosis of decentralized discrete event systems. Zbl 1023.93041Debouk, Rami; Lafortune, Stéphane; Teneketzis, Demosthenis 12 2003 Identification of Petri nets from knowledge of their language. Zbl 1125.93332Cabasino, Maria Paola; Giua, Alessandro; Seatzu, Carla 12 2007 Perturbation analysis of multiclass stochastic fluid models. Zbl 1061.90036Sun, Gang; Cassandras, Christos G.; Panayiotou, Christos G. 12 2004 Diagnosability of discrete event systems with modular structure. Zbl 1134.93306Contant, Olivier; Lafortune, Stéphane; Teneketzis, Demosthenis 12 2006 Distributed supervisory control of discrete-event systems with communication delay. Zbl 1353.93073Zhang, Renyuan; Cai, Kai; Gan, Yongmei; Wonham, W. M. 12 2016 Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation. Zbl 1398.93219Nunes, Carlos E. V.; Moreira, Marcos V.; Alves, Marcos V. S.; Carvalho, Lilian K.; Basilio, João Carlos 11 2018 Convergence of recursive optimization algorithms using infinitesimal perturbation analysis estimates. Zbl 0761.93075Chong, Edwin K. P.; Ramadge, Peter J. 11 1992 Multitasking supervisory control of discrete-event systems. Zbl 1101.93052de Queiroz, Max H.; Cury, José E. R.; Wonham, W. M. 11 2005 The risk probability criterion for discounted continuous-time Markov decision processes. Zbl 1386.93308Huo, Haifeng; Zou, Xiaolong; Guo, Xianping 11 2017 Input/output discrete event processes and communication delays. Zbl 0790.93002Balemi, Silvano 11 1994 Compositional synthesis of maximally permissive supervisors using supervision equivalence. Zbl 1125.93018Flordal, Hugo; Malik, Robi; Fabian, Martin; Åkesson, Knut 11 2007 A method to find all solutions of a system of multivariate polynomial equalities and inequalities in the max algebra. Zbl 0855.93018De Schutter, Bart; De Moor, Bart 11 1996 State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions. Zbl 1071.93028Giua, Alessandro; Corona, Daniele; Seatzu, Carla 11 2005 Diagnosing discrete-event systems: Extending the “diagnoser approach” to deal with telecommunication networks. Zbl 0993.93022Rozé, Laurence; Cordier, Marie-Odile 11 2002 Discrete supervisory control of hybrid systems based on \(l\)-complete approximations. Zbl 1002.93016Moor, Thomas; Raisch, Jörg; O’Young, Siu 11 2002 Approximating the minimal sensor selection for supervisory control. Zbl 1103.93019Rohloff, Kurt R.; Khuller, Samir; Kortsarz, Guy 11 2006 Monotonicity properties for multi-class queueing systems. Zbl 1200.90056Verloop, Ina Maria; Ayesta, Urtzi; Borst, Sem 11 2010 A two-queue polling model with two priority levels in the first queue. Zbl 1200.90050Boon, Marko A. A.; Adan, Ivo J. B. F.; Boxma, Onno J. 11 2010 Fault diagnosis in discrete event systems modeled by partially observed Petri nets. Zbl 1180.93069Ru, Yu; Hadjicostis, Christoforos N. 11 2009 Supervisory control of \((\max,+)\) automata: a behavioral approach. Zbl 1180.93068Komenda, Jan; Lahaye, Sébastien; Boimond, Jean-Louis 11 2009 The level set method for the two-sided max-plus eigenproblem. Zbl 1279.15024Gaubert, Stéphane; Sergeev, Sergeĭ 10 2013 On an optimization problem for a class of impulsive hybrid systems. Zbl 1197.49038Attia, Sid Ahmed; Azhmyakov, Vadim; Raisch, Joerg 10 2010 Diagnosability analysis of hybrid systems cast in a discrete-event framework. Zbl 1307.93247Bayoudh, Mehdi; Travé-Massuyès, Louise 10 2014 Compositions of (max,+) automata. Zbl 1328.93168Lahaye, Sébastien; Komenda, Jan; Boimond, Jean-Louis 10 2015 Performance evaluation and policy selection in multiclass networks. Zbl 1019.93056Henderson, Shane G.; Meyn, Sean P.; Tadić, Vladislav B. 10 2003 On an optimization problem in sensor selection. Zbl 1087.93059Debouk, Rami; Lafortune, Stéphane; Teneketzis, Demosthenis 10 2002 Fluid stochastic Petri nets augmented with flush-out arcs: Modelling and analysis. Zbl 0972.93040Gribaudo, M.; Sereno, M.; Horváth, A.; Bobbio, A. 10 2001 The Brownian approximation for rate-control throttles and the \(G/G/1/C\) queue. Zbl 0754.60102Berger, Arthur W.; Whitt, Ward 9 1992 Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems. Zbl 1252.93083Chakib, Hicham; Khoumsi, Ahmed 9 2012 Fluid limits and diffusion approximations for networks of multi-server queues in heavy traffic. Zbl 0814.60092Chen, Hong; Shanthikumar, J. George 9 1994 Modal specifications for the control theory of discrete event systems. Zbl 1116.93037Feuillade, Guillaume; Pinchinat, Sophie 9 2007 Structured buffer-allocation problems. Zbl 0847.90066Glasserman, Paul; Yao, David D. 9 1996 Compositional abstractions of hybrid control systems. Zbl 1060.93070Tabuada, Paulo; Pappas, George J.; Lima, Pedro 9 2004 Detectability of networked discrete event systems. Zbl 1398.93221Sasi, Yazeed; Lin, Feng 8 2018 Recursive equations and basic properties of timed Petri nets. Zbl 0753.60084Baccelli, François; Cohen, Guy; Gaujal, Bruno 8 1992 Computation of minimal event bases that ensure diagnosability. Zbl 1252.93082Basilio, João Carlos; Souza Lima, Saulo Telles; Lafortune, Stéphane; Moreira, Marcos Vicente 8 2012 Modeling and control of switching max-plus-linear systems with random and deterministic switching. Zbl 1252.93084van den Boom, Ton J. J.; De Schutter, Bart 8 2012 Application of supervisory control theory to theme park vehicles. Zbl 1267.93002Forschelen, Stefan T. J.; van de Mortel-Fronczak, Joanna M.; Su, Rong; Rooda, Jacobus E. 8 2012 Towards a (max,+) control theory for public transportation networks. Zbl 0999.93046Heidergott, B.; de Vries, R. 8 2001 Fault detection and diagnosis in distributed systems: An approach by partially stochastic Petri nets. Zbl 0916.93074Aghasaryan, Armen; Fabre, Eric; Benveniste, Albert; Boubour, Renée; Jard, Claude 8 1998 Supervision based on place invariants: a survey. Zbl 1109.93031Iordache, M. V.; Antsaklis, P. J. 8 2006 Synthesis of covert actuator attackers for free. Zbl 1458.93073Lin, Liyong; Zhu, Yuting; Su, Rong 8 2020 Tail asymptotics for discrete event systems. Zbl 1185.93081Lelarge, Marc 7 2008 Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection. Zbl 1489.93121Lefebvre, Dimitri; Seatzu, Carla; Hadjicostis, Christoforos N.; Giua, Alessandro 1 2022 A general language-based framework for specifying and verifying notions of opacity. Zbl 1492.93118Wintenberg, 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.93002Matsui, Shoma; Lafortune, Stéphane 1 2022 Epistemic interpretations of decentralized discrete-event system problems. Zbl 1500.93066Ean, Richard; Rudie, Karen 1 2022 Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems. Zbl 1478.93190van 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.93670Martínez-Manzanares, M. Elena; Minjárez-Sosa, J. Adolfo 2 2021 Comparing the notions of opacity for discrete-event systems. Zbl 1480.93256Balun, Jiří; Masopust, Tomáš 2 2021 Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches. Zbl 1478.93382Boussif, Abderraouf; Ghazel, Mohamed; Basilio, João Carlos 1 2021 Decentralized state estimation and diagnosis of p-time labeled Petri nets systems. Zbl 1478.93381Bonhomme, Patrice 1 2021 Compositional coordinator synthesis of extended finite automata. Zbl 1478.93186Goorden, Martijn A.; Fabian, Martin; van de Mortel-Fronczak, Joanna M.; Reniers, Michel A.; Fokkink, Wan J.; Rooda, Jacobus E. 1 2021 Formal specification and verification of decentralized self-adaptive systems using symmetric nets. Zbl 1480.93259Camilli, Matteo; Capra, Lorenzo 1 2021 Synthesis of covert actuator attackers for free. Zbl 1458.93073Lin, Liyong; Zhu, Yuting; Su, Rong 8 2020 Modeling for supervisor synthesis – a lock-bridge combination case study. Zbl 1448.93088Reijnen, Ferdie F. H.; Goorden, Martijn A.; van de Mortel-Fronczak, Joanna M.; Rooda, Jacobus E. 5 2020 Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction. Zbl 1448.93204Malik, Robi; Teixeira, Marcelo 3 2020 On detectability of labeled Petri nets and finite automata. Zbl 1448.93038Zhang, Kuize; Giua, Alessandro 3 2020 A contribution to the determinization of max-plus automata. Zbl 1435.68177Lahaye, Sébastien; Lai, Aiwen; Komenda, Jan; Boimond, Jean-Louis 2 2020 Submodular optimization problems and greedy strategies: a survey. Zbl 1453.90134Liu, Yajing; Chong, Edwin K. P.; Pezeshki, Ali; Zhang, Zhenliang 2 2020 Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers. Zbl 1448.93198Lefebvre, Dimitri; Hadjicostis, Christoforos N. 2 2020 Model-checking precision agriculture logistics: the case of the differential harvest. Zbl 1456.91067Saddem-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.93069van den Boom, Ton J. J.; van den Muijsenberg, Marenne; De Schutter, Bart 2 2020 Analysis and control of max-plus linear discrete-event systems: an introduction. Zbl 1441.93174De 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.93173Schmuck, Anne-Kathrin; Moor, Thomas; Majumdar, Rupak 1 2020 Information control in networked discrete event systems and its application to battery management systems. Zbl 1448.93201Lin, 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.93213Trunk, Johannes; Cottenceau, Bertrand; Hardouin, Laurent; Raisch, Joerg 1 2020 On the computation of counterexamples in compositional nonblocking verification. Zbl 1448.93205Malik, Robi; Ware, Simon 1 2020 Risk-sensitive continuous-time Markov decision processes with unbounded rates and Borel spaces. Zbl 1441.93338Guo, Xianping; Zhang, Junyu 6 2019 Optimal energy-efficient policies for data centers through sensitivity-based optimization. Zbl 1435.68056Ma, Jing-Yu; Xia, Li; Li, Quan-Lin 5 2019 Markovian dynamics of concurrent systems. Zbl 1435.68210Abbes, Samy 3 2019 Moment estimators for the parameters of Ornstein-Uhlenbeck processes driven by compound Poisson processes. Zbl 1425.93273Wu, Yanfeng; Hu, Jianqiang; Zhang, Xinsheng 3 2019 Sparsity in max-plus algebra and systems. Zbl 1430.93040Tsiamis, Anastasios; Maragos, Petros 2 2019 A controller synthesis framework for automated service composition. Zbl 1441.93082Atampore, Francis; Dingel, Juergen; Rudie, Karen 2 2019 Coupling in the queue with impatience: case of several servers. Zbl 1430.90198Moyal, Pascal 1 2019 Energy-efficient thermal-aware multiprocessor scheduling for real-time tasks using TCPN. Zbl 1435.68057Rubio-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.93186Zhang, 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.93291Ibrahim, Michael; Reveliotis, Spyros 1 2019 Time-optimal control of large-scale systems of systems using compositional optimization. Zbl 1441.93010Hagebring, Fredrik; Lennartson, Bengt 1 2019 SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time. Zbl 1441.93183Wang, Xi; Li, Zhiwu; Moor, Thomas 1 2019 Approximated timed reachability graphs for the robust control of discrete event systems. Zbl 1425.93034Lefebvre, Dimitri 1 2019 Optimal on-off control for a class of discrete event systems with real-time constraints. Zbl 1425.93185Miao, Lei; Xu, Lijian; Jiang, Dingde 1 2019 Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation. Zbl 1398.93219Nunes, Carlos E. V.; Moreira, Marcos V.; Alves, Marcos V. S.; Carvalho, Lilian K.; Basilio, João Carlos 11 2018 Detectability of networked discrete event systems. Zbl 1398.93221Sasi, Yazeed; Lin, Feng 8 2018 Current-state opacity enforcement in discrete event systems under incomparable observations. Zbl 1398.93223Tong, Yin; Li, Zhiwu; Seatzu, Carla; Giua, Alessandro 7 2018 Applications of generalized likelihood ratio method to distribution sensitivities and steady-state simulation. Zbl 1384.93145Lei, Lei; Peng, Yijie; Fu, Michael C.; Hu, Jian-Qiang 5 2018 Probabilistic system opacity in discrete event systems. Zbl 1398.93216Keroglou, Christoforos; Hadjicostis, Christoforos N. 5 2018 Diagnosability of repairable faults. Zbl 1398.93214Fabre, 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.93211Ammour, Rabah; Leclercq, Edouard; Sanlaville, Eric; Lefebvre, Dimitri 3 2018 Implementation of inference-based diagnosis: computing delay bound and ambiguity levels. Zbl 1398.93222Takai, Shigemasa; Kumar, Ratnesh 3 2018 Variance minimization of parameterized Markov decision processes. Zbl 1384.93142Xia, Li 2 2018 Ranking nodes in general networks: a Markov multi-chain approach. Zbl 1384.93138Berkhout, Joost; Heidergott, Bernd F. 1 2018 Instruction-throughput regulation in computer processors with data-center applications. Zbl 1384.93077Chen, Xinwei; Wardi, Yorai; Yalamanchili, Sudhakar 1 2018 Assigning multiple job types to parallel specialized servers. Zbl 1407.90176van der Laan, Dinard 1 2018 Finite horizon continuous-time Markov decision processes with mean and variance criteria. Zbl 1407.90204Huang, Yonghui 1 2018 On controlling prioritized discrete event systems with real-time constraints. Zbl 1398.93218Miao, Lei 1 2018 The risk probability criterion for discounted continuous-time Markov decision processes. Zbl 1386.93308Huo, Haifeng; Zou, Xiaolong; Guo, Xianping 11 2017 Supervisory control and reactive synthesis: a comparative introduction. Zbl 1379.93068Ehlers, Rüdiger; Lafortune, Stéphane; Tripakis, Stavros; Vardi, Moshe Y. 6 2017 Average cost criterion induced by the regular utility function for continuous-time Markov decision processes. Zbl 1374.93388Wei, Qingda; Chen, Xian 4 2017 Augmented finite transition systems as abstractions for control synthesis. Zbl 1379.93050Nilsson, Petter; Ozay, Necmiye; Liu, Jun 4 2017 Diagnosability analysis of patterns on bounded labeled prioritized Petri nets. Zbl 1356.93055Gougam, Houssam-Eddine; Pencolé, Yannick; Subias, Audine 4 2017 Latticed-LTL synthesis in the presence of noisy inputs. Zbl 1374.93029Almagor, Shaull; Kupferman, Orna 3 2017 Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication. Zbl 1386.93001Komenda, Jan; Masopust, Tomáš 3 2017 Predictability of fuzzy discrete event systems. Zbl 1378.93081Benmessahel, Bilal; Touahria, Mohamed; Nouioua, Farid 3 2017 Empirical studies in the size of diagnosers and verifiers for diagnosability analysis. Zbl 1386.93194Clavijo, Leonardo Bermeo; Basilio, João C. 3 2017 Towards scalable synthesis of stochastic control systems. Zbl 1379.93087Zamani, Majid; Tkachev, Ilya; Abate, Alessandro 3 2017 Supervisory control for collision avoidance in vehicular networks using discrete event abstractions. Zbl 1356.93005Dallal, 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.93090Moyal, Pascal 3 2017 Maximally permissive controlled system synthesis for non-determinism and modal logic. Zbl 1356.93030van Hulst, A. C.; Reniers, M. A.; Fokkink, W. J. 3 2017 On a generalization of power algorithms over MAX-plus algebra. Zbl 1356.93054Fahim, Kistosil; Subiono; van der Woude, Jacob 3 2017 A necessary and sufficient condition for diagnosability of stochastic discrete event systems. Zbl 1374.93242Thorsley, David 2 2017 Cellular adaptive Petri net based on learning automata and its application to the vertex coloring problem. Zbl 1386.93196Vahidipour, S. Mehdi; Meybodi, Mohammad Reza; Esnaashari, Mehdi 2 2017 Order-reduction abstractions for safety verification of high-dimensional linear systems. Zbl 1379.93026Tran, 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.93057Yokota, Shoichi; Yamamoto, Takashi; Takai, Shigemasa 2 2017 Fluid approximation of Petri net models with relatively small populations. Zbl 1374.93240Fraca, Estíbaliz; Júlvez, Jorge; Silva, Manuel 1 2017 A pathwise comparison of parallel queues. Zbl 1422.90014Moyal, Pascal 1 2017 Controller synthesis for dynamic hierarchical real-time plants using timed automata. Zbl 1379.93051Waez, Md Tawhid Bin; Wąsowski, Andrzej; Dingel, Juergen; Rudie, Karen 1 2017 Distributed supervisory control of discrete-event systems with communication delay. Zbl 1353.93073Zhang, Renyuan; Cai, Kai; Gan, Yongmei; Wonham, W. M. 12 2016 Minimal sensor activation and minimal communication in discrete-event systems. Zbl 1353.93071Sears, David; Rudie, Karen 7 2016 Synchronizing sequences on a class of unbounded systems using synchronized Petri nets. Zbl 1333.93170Pocci, Marco; Demongodin, Isabel; Giambiasi, Norbert; Giua, Alessandro 7 2016 Towards railway traffic management using switching max-plus-linear systems, structure analysis and rescheduling. Zbl 1353.93013Kersbergen, Bart; Rudan, János; van den Boom, Ton; De Schutter, Bart 6 2016 Finite approximation of the first passage models for discrete-time Markov decision processes with varying discount factors. Zbl 1357.90171Wu, Xiao; Zhang, Junyu 4 2016 A framework for compositional nonblocking verification of extended finite-state machines. Zbl 1333.93169Mohajerani, Sahar; Malik, Robi; Fabian, Martin 4 2016 A Poisson equation for the risk-sensitive average cost in semi-Markov chains. Zbl 1357.93089Cavazos-Cadena, Rolando 3 2016 Determinization of timed Petri nets behaviors. Zbl 1346.93252Komenda, Jan; Lahaye, Sébastien; Boimond, Jean-Louis 3 2016 Block-structured supermarket models. Zbl 1354.93019Li, 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.93061Boussahel, W. M.; Amari, S.; Kara, R. 2 2016 On-line compositional controller synthesis for AGV. Zbl 1357.93005Girault, Johan; Loiseau, Jean-Jacques; Roux, Olivier H. 2 2016 On just-in-time control of timed event graphs with input constraints: a semimodule approach. Zbl 1353.93074da Silva, Guilherme Gomes; Maia, Carlos Andrey 1 2016 Eigenproblems of Latin squares in bipartite \((\min, \max,+)\)-systems. Zbl 1357.93063Subiono; Mufid, Muhammad Syifa’ul; Adzkiya, Dieky 1 2016 VeriSIMPL 2: an open-source software for the verification of max-plus-linear systems. Zbl 1332.93255Adzkiya, Dieky; Zhang, Yining; Abate, Alessandro 1 2016 Tight performance bounds in the worst-case analysis of feed-forward networks. Zbl 1345.90026Bouillard, 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.93111Khalid, 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.93257Li, Ran; Reveliotis, Spyros 1 2016 Optimal control of hybrid switched systems: a brief survey. Zbl 1328.93137Zhu, Feng; Antsaklis, Panos J. 32 2015 Enforcement and validation (at runtime) of various notions of opacity. Zbl 1400.94143Falcone, Yliès; Marchand, Hervé 18 2015 Switched-mode systems: gradient-descent algorithms with Armijo step sizes. Zbl 1329.49059Wardi, Y.; Egerstedt, M.; Hale, M. 16 2015 Compositions of (max,+) automata. Zbl 1328.93168Lahaye, Sébastien; Komenda, Jan; Boimond, Jean-Louis 10 2015 Coordination control of discrete-event systems revisited. Zbl 1417.93207Komenda, Jan; Masopust, Tomáš; van Schuppen, Jan H. 7 2015 Enforcing opacity of regular predicates on modal transition systems. Zbl 1320.68126Darondeau, Philippe; Marchand, Hervé; Ricker, Laurie 5 2015 New representations for (max,+) automata with applications to performance evaluation and control of discrete event systems. Zbl 1328.93162Boukra, Rabah; Lahaye, Sébastien; Boimond, Jean-Louis 5 2015 Fault model identification and synthesis in Petri nets. Zbl 1328.93163Cabasino, Maria Paola; Giua, Alessandro; Hadjicostis, Christoforos N.; Seatzu, Carla 5 2015 Robustness of synchronous communication protocols with delay for decentralized discrete-event control. Zbl 1328.93169Sadid, Waselul Haque; Ricker, Laurie; Hashtrudi-Zad, Shahin 4 2015 ...and 327 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 2,450 Authors 33 Giua, Alessandro 32 Lafortune, Stéphane 27 Cassandras, Christos G. 23 Lin, Feng 22 Li, Zhiwu 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 van den Boom, Ton J. J. 15 Takai, Shigemasa 15 Xia, Li 13 Azhmyakov, Vadim 13 Júlvez, Jorge 13 Wardi, Yorai 12 Gaubert, Stéphane 12 Lahaye, Sébastien 12 Lefebvre, Dimitri 12 van Schuppen, Jan H. 12 Yin, Xiang 11 Amari, Said 11 Basilio, João Carlos 11 Fu, Michael C. 11 Guo, Xianping 11 Hadjicostis, Christoforos N. 11 Hardouin, Laurent 11 Mahulea, Cristian 11 Marchand, Hervé 11 Rudie, Karen 11 Tao, Yuegang 11 Zhao, Qianchuan 10 Boimond, Jean-Louis 10 Ho, Yu-Chi 10 Li, Quanlin 10 Liu, Fuchun 10 Malik, Robi 10 Reveliotis, Spyros A. 9 Cai, Kai 9 Chen, Chun-Hung 9 Heidergott, Bernd F. 9 Legay, Axel 9 Lin, Liyong 9 Park, Seong-Jin 9 Yang, Jung-Min 9 Zhang, Kanjian 8 Alla, Hassane 8 Cao, Xi-Ren 8 Chen, Zengqiang 8 Di Benedetto, Maria Domenica 8 Haar, Stefan 8 Hammer, Jacob 8 Hélouët, Loïc 8 Mairesse, Jean 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 Akian, Marianne 7 Cao, Xiren 7 Chen, E. Jack 7 Chew, Ek Peng 7 Cho, Kwang-Hyun 7 Egerstedt, Magnus B. 7 Gao, Siyang 7 Jia, Qing-Shan 7 Kara, Redouane 7 Kogan, Konstantin 7 Ma, Ziyue 7 Maia, Carlos Andrey 7 Markey, Nicolas 7 Nagatani, Takashi 7 Peng, Yijie 7 Rooda, Jacobus E. 7 Tredup, Ronny 7 Wu, Naiqi 7 Zhang, Renyuan 6 Al-Refa’ei, Mahmoud H. 6 Andradóttir, Sigrún 6 Bertsekas, Dimitri Panteli 6 Cabasino, Maria Paola 6 Carvalho, Lilian Kawakami 6 Fabian, Martin 6 Fabre, Eric 6 Gaujal, Bruno 6 Gokbayrak, Kagan 6 Guo, Yongjiang 6 Larsen, Kim Guldstrand 6 Lime, Didier 6 Lin, Hai 6 Ma, Jingyu 6 Roux, Olivier H. 6 Shneer, Vsevolod Vladislavovich 6 Shu, Shaolong ...and 2,350 more Authors all top 5 Cited in 220 Journals 293 Discrete Event Dynamic Systems 189 Automatica 59 International Journal of Control 54 European Journal of Operational Research 54 Nonlinear Analysis. Hybrid Systems 45 Queueing Systems 31 Information Sciences 31 Systems & Control Letters 28 Annals of Operations Research 27 Journal of Optimization Theory and Applications 25 Theoretical Computer Science 25 European Journal of Control 24 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 Asian Journal of Control 14 Information and Computation 14 Computers & Operations Research 14 Linear Algebra and its Applications 13 Formal Methods in System Design 12 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 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 International Journal of Robust and Nonlinear Control 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 5 Fundamenta Informaticae 5 Journal of Systems Science and Complexity 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 The Journal of Artificial Intelligence Research (JAIR) 4 Journal of Applied Mathematics 4 Control Theory and Technology 3 Information Processing Letters 3 Journal of Computational and Applied Mathematics 3 Journal of Computer and System Sciences 3 Journal of Econometrics 3 Circuits, Systems, and Signal Processing 3 Stochastic Analysis and Applications 3 Journal of Automated Reasoning 3 MCSS. Mathematics of Control, Signals, and Systems 3 Neural Networks 3 Neural Computation 3 MSCS. Mathematical Structures in Computer Science 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 2 Journal of Statistical Physics 2 Computing 2 International Journal of Game Theory 2 Optimal Control Applications & Methods 2 Statistics & Probability Letters 2 Journal of Intelligent & Robotic Systems 2 International Journal of Algebra and Computation 2 International Journal of Foundations of Computer Science 2 Games and Economic Behavior 2 Communications in Statistics. Simulation and Computation 2 International Journal of Computer Mathematics ...and 120 more Journals all top 5 Cited in 42 Fields 892 Systems theory; control (93-XX) 562 Operations research, mathematical programming (90-XX) 451 Computer science (68-XX) 238 Probability theory and stochastic processes (60-XX) 106 Calculus of variations and optimal control; optimization (49-XX) 103 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 69 Statistics (62-XX) 64 Linear and multilinear algebra; matrix theory (15-XX) 62 Numerical analysis (65-XX) 40 Combinatorics (05-XX) 39 Information and communication theory, circuits (94-XX) 32 Biology and other natural sciences (92-XX) 27 Dynamical systems and ergodic theory (37-XX) 22 Mathematical logic and foundations (03-XX) 22 Ordinary differential equations (34-XX) 11 Partial differential equations (35-XX) 11 Operator theory (47-XX) 8 Statistical mechanics, structure of matter (82-XX) 6 Associative rings and algebras (16-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 4 Difference and functional equations (39-XX) 4 Fluid mechanics (76-XX) 3 General and overarching topics; collections (00-XX) 3 Number theory (11-XX) 3 Algebraic geometry (14-XX) 2 History and biography (01-XX) 2 Field theory and polynomials (12-XX) 2 Category theory; homological algebra (18-XX) 2 Group theory and generalizations (20-XX) 2 Measure and integration (28-XX) 2 General topology (54-XX) 2 Mechanics of particles and systems (70-XX) 1 General algebraic systems (08-XX) 1 Real functions (26-XX) 1 Integral transforms, operational calculus (44-XX) 1 Integral equations (45-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