| 1 |
Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems
Saoud A, Girard A, Fribourg L
IEEE Transactions on Automatic Control, 66(3), 1055, 2021 |
| 2 |
A theoretical investigation on Bell-Evans-Polanyi correlations for hydrogen abstraction reactions of large biodiesel molecules by H and OH radicals
Meng QH, Lin X, Zhai YT, Zhang LD, Zhang P, Sheng LS
Combustion and Flame, 214, 394, 2020 |
| 3 |
Direct dynamics of a large complex hydrocarbon reaction system: The reaction of OH with exo-tricyclodecane (the main component of Jet Propellant-10)
Wu JJ, Gao LG, Ning HB, Ren W, Truhlar DG
Combustion and Flame, 216, 82, 2020 |
| 4 |
Theoretical analysis and kinetic modeling of hydrogen abstraction and addition of 1,3-cyclopentadiene and associated reactions on the C5H7 potential energy surface
Mao Q, Cai LM, Pitsch H
Combustion and Flame, 222, 423, 2020 |
| 5 |
Transforming Opacity Verification to Nonblocking Verification in Modular Systems
Mohajerani S, Lafortune S
IEEE Transactions on Automatic Control, 65(4), 1739, 2020 |
| 6 |
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
Mohajerani S, Ji YD, Lafortune S
IEEE Transactions on Automatic Control, 65(8), 3349, 2020 |
| 7 |
Abstraction-Based Safety Verification and Control of Cooperative Vehicles at Road Intersections
Ahn H, Colombo A
IEEE Transactions on Automatic Control, 65(10), 4061, 2020 |
| 8 |
First principles calculations of the adsorption and migration behaviors of N atoms on the H-terminated diamond (001) surface
Liu XJ, Wang HC, Lu PF, Ren Y, Tan X, Sun SY, Jia HL
Applied Surface Science, 463, 668, 2019 |
| 9 |
Atmospheric degradation pathways and kinetics of 2,2-difluoroethanol (CHF2CH2OH) with Cl atom: A theoretical investigation
Gour NK, Rajkumari NP, Deka RC, Paul S, Deka A
Chemical Physics Letters, 716, 35, 2019 |
| 10 |
Kinetics of hydrogen abstraction from desflurane by OH and Cl radicals - A theoretical study
Le XT, Mai TVT, Duong MV, Huynh LK
Chemical Physics Letters, 728, 142, 2019 |
