검색결과 : 49건
No. | Article |
---|---|
1 |
Finite horizon robustness analysis of LTV systems using integral quadratic constraints Seiler P, Moore RM, Meissen C, Arcak M, Packard A Automatica, 100, 135, 2019 |
2 |
Transformation of Optimal Centralized Controllers Into Near-Globally Optimal Static Distributed Controllers Fattahi S, Fazelnia G, Lavaei J, Arcak M IEEE Transactions on Automatic Control, 64(1), 66, 2019 |
3 |
Symmetry reduction for dynamic programming Maidens J, Barrau A, Bonnabel S, Arcak M Automatica, 97, 367, 2018 |
4 |
Symbolic control design for monotone systems with directed specifications Kim ES, Arcak M, Seshia SA Automatica, 83, 10, 2017 |
5 |
An Input-Output Framework for Submanifold Stabilization Montenbruck JM, Arcak M, Allgower F IEEE Transactions on Automatic Control, 62(10), 5170, 2017 |
6 |
Stability of traffic flow networks with a polytree topology Coogan S, Arcak M Automatica, 66, 246, 2016 |
7 |
Compositional performance certification of interconnected systems using ADMM Meissen C, Lessard L, Arcak M, Packard AK Automatica, 61, 55, 2015 |
8 |
Reachability Analysis of Nonlinear Systems Using Matrix Measures Maidens J, Arcak M IEEE Transactions on Automatic Control, 60(1), 265, 2015 |
9 |
A Dissipativity Approach to Safety Verification for Interconnected Systems Coogan S, Arcak M IEEE Transactions on Automatic Control, 60(6), 1722, 2015 |
10 |
A Compartmental Model for Traffic Networks and Its Dynamical Behavior Coogan S, Arcak M IEEE Transactions on Automatic Control, 60(10), 2698, 2015 |