검색결과 : 14건
| No. | Article |
|---|---|
| 1 |
p-Safe Analysis of Stochastic Hybrid Processes Wisniewski R, Bujorianu ML, Sloth C IEEE Transactions on Automatic Control, 65(12), 5220, 2020 |
| 2 |
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 |
| 3 |
Safety Verification and Control for Collision Avoidance at Road Intersections Ahn H, Del Vecchio D IEEE Transactions on Automatic Control, 63(3), 630, 2018 |
| 4 |
Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification Xiang WM, Tran HD, Johnson TT IEEE Transactions on Automatic Control, 62(10), 5380, 2017 |
| 5 |
Converse Barrier Certificate Theorems Wisniewski R, Sloth C IEEE Transactions on Automatic Control, 61(5), 1356, 2016 |
| 6 |
A Dissipativity Approach to Safety Verification for Interconnected Systems Coogan S, Arcak M IEEE Transactions on Automatic Control, 60(6), 1722, 2015 |
| 7 |
Reachability Analysis of Nonlinear Differential-Algebraic Systems Althoff M, Krogh BH IEEE Transactions on Automatic Control, 59(2), 371, 2014 |
| 8 |
Positive Invariance of Constrained Affine Dynamics and Its Applications to Hybrid Systems and Safety Verification Shen JL IEEE Transactions on Automatic Control, 57(1), 3, 2012 |
| 9 |
A framework for worst-case and stochastic safety verification using barrier certificates Prajna S, Jadbabaie A, Pappas GJ IEEE Transactions on Automatic Control, 52(8), 1415, 2007 |
| 10 |
Convex programs for temporal verification of nonlinear dynamical systems Prajna S, Rantzer A SIAM Journal on Control and Optimization, 46(3), 999, 2007 |