Soudjani, Sadegh Esmaeil Zadeh
- Shrinking Horizon Model Predictive Control with Signal Temporal Logic\n Constraints under Stochastic Disturbances
2017/05/05 by Samira S. Farahani, Farahani, Samira S., Rupak Majumdar +5 · 3 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Microbial Metabolic Engineering and Bioproduction #Optimization and Control (math.OC) #Probability (math.PR) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems
2017/06/26 by Soudjani, Sadegh Esmaeil Zadeh, Majumdar, Rupak, Nagapetyan, Tigran · 1 citation
#68W25 #93E03 #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Logic in Computer Science (cs.LO) #Probability (math.PR) #Systems and Control (eess.SY) #electronic engineering #information engineering