We stand with Ukraine  

Vladimir Sinyakov

Orcid: 0000-0001-9887-0968

According to our database1, Vladimir Sinyakov authored at least 6 papers between 2013 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Abstraction of Continuous-Time Systems Based on Feedback Controllers and Mixed Monotonicity.
[BibTeX]
[DOI]
Vladimir Sinyakov
,
Antoine Girard
IEEE Trans. Autom. Control., August, 2023

2021
Formal controller synthesis from specifications given by discrete-time hybrid automata.
[BibTeX]
[DOI]
Vladimir Sinyakov
,
Antoine Girard
Autom., 2021

2020
Formal Synthesis from Control Programs.
[BibTeX]
[DOI]
Vladimir Sinyakov
,
Antoine Girard
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019
Controller Synthesis for Nonlinear Systems with Reachability Specifications Using Monotonicity.
[BibTeX]
[DOI]
Vladimir Sinyakov
,
Antoine Girard
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018
Formal Controller Synthesis from Hybrid Programs.
[BibTeX]
[DOI]
Vladimir Sinyakov
,
Antoine Girard
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

2013
Approximation of Reachability Sets for Nonlinear Unicycle Control System Using the Comparison Principle.
[BibTeX]
[DOI]
Vladimir Sinyakov
,
Ilya Roublev
Proceedings of the 9th IFAC Symposium on Nonlinear Control Systems, 2013


  Loading...