| 1 |
Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems
Saoud A, Girard A, Fribourg L
IEEE Transactions on Automatic Control, 66(3), 1055, 2021 |
| 2 |
Compositional synthesis of finite abstractions for networks of systems: A small-gain approach
Swikir A, Zamani M
Automatica, 107, 551, 2019 |
| 3 |
Symbolic Optimal Control
Reissig G, Rungger M
IEEE Transactions on Automatic Control, 64(6), 2224, 2019 |
| 4 |
Optimal multirate sampling in symbolic models for incrementally stable switched systems
Saoud A, Girard A
Automatica, 98, 58, 2018 |
| 5 |
Feedback Refinement Relations for the Synthesis of Symbolic Controllers
Reissig G, Weber A, Rungger M
IEEE Transactions on Automatic Control, 62(4), 1781, 2017 |
| 6 |
Optimized State Space Grids for Abstractions
Weber A, Rungger M, Reissig G
IEEE Transactions on Automatic Control, 62(11), 5816, 2017 |
| 7 |
Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
Girard A, Gossler G, Mouelhi S
IEEE Transactions on Automatic Control, 61(6), 1537, 2016 |
| 8 |
Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach
Pola G, Di Benedetto MD
IEEE Transactions on Automatic Control, 59(1), 175, 2014 |
| 9 |
Adaptive Symbolic Control for Finite-State Transition Systems With Grammatical Inference
Fu J, Tanner HG, Heinz J, Chandlee J
IEEE Transactions on Automatic Control, 59(2), 505, 2014 |
| 10 |
Bottom-Up Symbolic Control: Attractor-Based Planning and Behavior Synthesis
Fu J, Tanner HG
IEEE Transactions on Automatic Control, 58(12), 3142, 2013 |
