검색결과 : 12건
No. | Article |
---|---|
1 |
Satisfaction of Linear Temporal Logic Specifications Through Recurrence Tools for Hybrid Systems Bisoffi A, Dimarogonas DV IEEE Transactions on Automatic Control, 66(2), 818, 2021 |
2 |
Hybrid models of opinion dynamics with opinion-dependent connectivity Frasca P, Tarbouriech S, Zaccarian L Automatica, 100, 153, 2019 |
3 |
Reduction Theorems for Hybrid Dynamical Systems Maggiore M, Sassano M, Zaccarian L IEEE Transactions on Automatic Control, 64(6), 2254, 2019 |
4 |
A Nonsmooth Hybrid Invariance Principle Applied to Robust Event-Triggered Design Seuret A, Prieur C, Tarbouriech S, Teel AR, Zaccarian L IEEE Transactions on Automatic Control, 64(5), 2061, 2019 |
5 |
Practical Stabilization of Switched Affine Systems With Dwell-Time Guarantees Sanchez CA, Garcia G, Hadjeras S, Heemels WPMH, Zaccarian L IEEE Transactions on Automatic Control, 64(11), 4811, 2019 |
6 |
Hybrid Stabilization of Linear Systems With Reverse Polytopic Input Constraints Casau P, Sanfelice RG, Silvestre C IEEE Transactions on Automatic Control, 62(12), 6473, 2017 |
7 |
Energy-efficient container handling using hybrid model predictive control Xin JB, Negenborn RR, Lodewijks G International Journal of Control, 88(11), 2327, 2015 |
8 |
Relaxed Persistent Flow/Jump Conditions for Uniform Global Asymptotic Stability Prieur C, Teel AR, Zaccarian L IEEE Transactions on Automatic Control, 59(10), 2766, 2014 |
9 |
Analysis for a class of singularly perturbed hybrid systems via averaging Wang W, Teel AR, Nesic D Automatica, 48(6), 1057, 2012 |
10 |
Solutions to hybrid inclusions via set and graphical convergence with stability theory applications Goebel R, Teel AR Automatica, 42(4), 573, 2006 |