Jun Cheng

Jun Cheng

School of Mathematics and Statistics, Guangxi Normal University, Guilin, China
Email yang diverifikasi di gxnu.edu.cn
Dirujuk 9416 kali
stochastic hybrid systems networked control systems robust control and nonlinear systems
Alessandro Abate

Alessandro Abate

Professor of Verification and Control, University of Oxford, UK
Email yang diverifikasi di cs.ox.ac.uk
Dirujuk 8251 kali
Formal Verification Control Theory Stochastic Hybrid Systems Cyber-Physical Systems Energy and Safety-Critical Systems
Mrinal K. Ghosh

Mrinal K. Ghosh

Professor of Mathematics, Indian Institute of Science Bangalore
Email yang diverifikasi di math.iisc.ernet.in
Dirujuk 3572 kali
Stochastic Control Markov Decision Processes Stochastic Dynamic Games Stochastic Hybrid Systems Mathematical Finance
Cesar Augusto Vargas-Garcia

Cesar Augusto Vargas-Garcia

AGROSAVIA Corporación Colombiana de Investigación Agropecuaria
Email yang diverifikasi di agrosavia.co
Dirujuk 2320 kali
Computational Biology Stochastic Hybrid Systems Microbiology
Anantharaman Subbaraman

Anantharaman Subbaraman

Tesla
Dirujuk 783 kali
Battery management systems Control systems Hybrid systems Stochastic hybrid systems
Yuriy Zacchia Lun

Yuriy Zacchia Lun

University of L'Aquila
Email yang diverifikasi di univaq.it
Dirujuk 506 kali
Networked control systems stochastic hybrid systems formal methods cyber-physical security
Alexandre Rodrigues Mesquita

Alexandre Rodrigues Mesquita

Professor of Electronics Engineering, Federal University of Minas Gerais
Email yang diverifikasi di cpdee.ufmg.br
Dirujuk 313 kali
networked control systems stochastic hybrid systems multi-agent systems
Fedor Shmarov

Fedor Shmarov

School of Computing, Newcastle University
Email yang diverifikasi di newcastle.ac.uk
Dirujuk 269 kali
Formal Verification Model Checking Software Verification Stochastic Hybrid Systems
Qinsi Wang

Qinsi Wang

Ph.D student, Computer Science Department, Carnegie Mellon University
Email yang diverifikasi di cs.cmu.edu
Dirujuk 260 kali
Model Checking Formal Verification Stochastic Hybrid Systems System Biology
Carina da Silva

Carina da Silva

University of Münster
Email yang diverifikasi di uni-muenster.de
Dirujuk 214 kali
stochastic hybrid systems discrete-event simulation Statistical Model Checking
1 - 10