| 1 |
Formal Control Synthesis via Simulation Relations and Behavioral Theory for Discrete-Time Descriptor Systems
Haesaert S, Chen F, Abate A, Weiland S
IEEE Transactions on Automatic Control, 66(3), 1024, 2021 |
| 2 |
Isochronous Partitions for Region-Based Self-Triggered Control
Delimpaltadakis G, Mazo M
IEEE Transactions on Automatic Control, 66(3), 1160, 2021 |
| 3 |
Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay Specifications
Li YN, Liu J
IEEE Transactions on Automatic Control, 66(3), 1199, 2021 |
| 4 |
Asymptotic Optimality of Finite Model Approximations for Partially Observed Markov Decision Processes With Discounted Cost
Saldi N, Yuksel S, Linder T
IEEE Transactions on Automatic Control, 65(1), 130, 2020 |
| 5 |
Performance Guarantees for Model-Based Approximate Dynamic Programming in Continuous Spaces
Beuchat PN, Georghiou A, Lygeros J
IEEE Transactions on Automatic Control, 65(1), 143, 2020 |
| 6 |
An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems
Li L, Basile F, Li ZW
IEEE Transactions on Automatic Control, 65(1), 237, 2020 |
| 7 |
A New Method for Control Allocation of Aircraft Flight Control System
Yang YC, Gao ZC
IEEE Transactions on Automatic Control, 65(4), 1413, 2020 |
| 8 |
Scheduling Multiple Agents in a Persistent Monitoring Task Using Reachability Analysis
Yu X, Andersson SB, Zhou N, Cassandras CG
IEEE Transactions on Automatic Control, 65(4), 1499, 2020 |
| 9 |
Backstepping Control of Coupled Linear Parabolic PDEs With Space and Time Dependent Coefficients
Kerschbaum S, Deutscher J
IEEE Transactions on Automatic Control, 65(7), 3060, 2020 |
| 10 |
On the Stability Analysis of Mixed Traffic With Vehicles Under Car-Following and Bilateral Control
Wang L, Horn BKP
IEEE Transactions on Automatic Control, 65(7), 3076, 2020 |
