검색결과 : 21건
| No. | Article |
|---|---|
| 1 |
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 |
| 2 |
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 |
| 3 |
p-Safe Analysis of Stochastic Hybrid Processes Wisniewski R, Bujorianu ML, Sloth C IEEE Transactions on Automatic Control, 65(12), 5220, 2020 |
| 4 |
MOMENT ANALYSIS OF LINEAR TIME-VARYING DYNAMICAL SYSTEMS WITH RENEWAL TRANSITIONS Soltani M, Singh A SIAM Journal on Control and Optimization, 57(4), 2660, 2019 |
| 5 |
A Unified Stochastic Hybrid System Approach to Aggregate Modeling of Responsive Loads Zhao L, Zhang W IEEE Transactions on Automatic Control, 63(12), 4250, 2018 |
| 6 |
Approximations of Stochastic Hybrid Systems: A Compositional Approach Zamani M, Rungger M, Esfahani PM IEEE Transactions on Automatic Control, 62(6), 2838, 2017 |
| 7 |
Recurrence Principles and Their Application to Stability Theory for a Class of Stochastic Hybrid Systems Subbaraman A, Teel AR IEEE Transactions on Automatic Control, 61(11), 3477, 2016 |
| 8 |
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach Zamani M, Abate A, Girard A Automatica, 55, 183, 2015 |
| 9 |
pth moment asymptotic stability of stochastic delayed hybrid systems with Levy noise Yang J, Zhou WN, Yang XQ, Hu XT, Xie LL International Journal of Control, 88(9), 1726, 2015 |
| 10 |
Stability analysis for stochastic hybrid systems: A survey Teel AR, Subbaraman A, Sferlazza A Automatica, 50(10), 2435, 2014 |