| 1 |
Formal Control Synthesis via Simulation Relations and Behavioral Theory for Discrete-Time Descriptor Systems
Haesaert S, Chen F, Abate A, Weiland S
IEEE Transactions on Automatic Control, 66(3), 1024, 2021 |
| 2 |
Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay Specifications
Li YN, Liu J
IEEE Transactions on Automatic Control, 66(3), 1199, 2021 |
| 3 |
Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes
Laurenti L, Lahijanian M, Abate A, Cardelli L, Kwiatkowska M
IEEE Transactions on Automatic Control, 66(1), 17, 2021 |
| 4 |
Examination of the melt temperature stability of the mold-type slit rheometer affected by plasticizing conditions and the shear heating in the nozzle and sprue
Han ES, Gim JS, Kim BJ, Rhee BO
Korea-Australia Rheology Journal, 33(2), 151, 2021 |
| 5 |
An approach to calibration of BPM bonding parameters for iron ore
Chen ZR, Wang GQ, Xue DM
Powder Technology, 381, 245, 2021 |
| 6 |
Coupled discrete element and multibody simulation, part I: implementation, verification and validation
Richter C, Roessler T, Otto H, Katterfeld A
Powder Technology, 379, 494, 2021 |
| 7 |
Application of safety and reliability analysis in wastewater reclamation system
Zhang QY, Liu LS, Liu ZJ
Process Safety and Environmental Protection, 146, 338, 2021 |
| 8 |
STABILITY VERIFICATION FOR A CLASS OF STOCHASTIC HYBRID SYSTEMS BY SEMIDEFINITE PROGRAMMING
Liu KR, Li ML, She ZK
SIAM Journal on Control and Optimization, 59(1), 365, 2021 |
| 9 |
Enhancing the capacity of large-scale ball mill through process and equipment optimization: An industrial test verification
Gao P, Zhou WT, Han YX, Li YJ, Ren WL
Advanced Powder Technology, 31(5), 2079, 2020 |
| 10 |
Zero-Sum Stochastic Differential Games with Risk-Sensitive Cost
Biswas A, Saha S
Applied Mathematics and Optimization, 81(1), 113, 2020 |
