Vladimir Sinyakov

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 5

Top Topics

Controller Synthesis

Control Program

Transitive Closure

Upper Approximation

Top Venues

IEEE Trans. Autom. Control.

Publications

Vladimir Sinyakov, Antoine Girard
Abstraction of Continuous-Time Systems Based on Feedback Controllers and Mixed Monotonicity. IEEE Trans. Autom. Control. 68 (8) (2023)
Vladimir Sinyakov, Antoine Girard
Formal controller synthesis from specifications given by discrete-time hybrid automata. Autom. 131 (2021)
Vladimir Sinyakov, Antoine Girard
Formal Synthesis from Control Programs. CDC (2020)
Vladimir Sinyakov, Antoine Girard
Controller Synthesis for Nonlinear Systems with Reachability Specifications Using Monotonicity. CDC (2019)
Vladimir Sinyakov, Antoine Girard
Formal Controller Synthesis from Hybrid Programs. HSCC (2018)
Vladimir Sinyakov, Ilya Roublev
Approximation of Reachability Sets for Nonlinear Unicycle Control System Using the Comparison Principle. NOLCOS (2013)