Vladimir Sinyakov
From MaRDI portal
Person:2665406
Available identifiers
zbMath Open sinyakov.vladimirMaRDI QIDQ2665406
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Abstraction of Continuous-Time Systems Based on Feedback Controllers and Mixed Monotonicity | 2023-10-06 | Paper |
| Formal controller synthesis from specifications given by discrete-time hybrid automata | 2021-11-19 | Paper |
| Formal Controller Synthesis from Hybrid Programs | 2018-12-06 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Vladimir Sinyakov
