Ilya Tkachev

According to our database, Ilya Tkachev authored at least 14 papers between 2011 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Virtual Soft Sensor of the Feedstock Composition of the Catalytic Reforming Unit.

Natalia Koteleva, Ilya Tkachev

Symmetry, 2021

2017

Quantitative model-checking of controlled discrete-time Markov processes.

Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate

Inf. Comput., 2017

Towards scalable synthesis of stochastic control systems.

Majid Zamani, Ilya Tkachev, Alessandro Abate

Discret. Event Dyn. Syst., 2017

2015

A mean field equilibrium for a model of interbank lending.

Maximilian Balandat, Ilya Tkachev, Alessandro Abate, Claire J. Tomlin

Proceedings of the American Control Conference, 2015

2014

Characterization and computation of infinite-horizon specifications over Markov processes.

Ilya Tkachev, Alessandro Abate

Theor. Comput. Sci., 2014

Bisimilar symbolic models for stochastic control systems without state-space discretization.

Majid Zamani, Ilya Tkachev, Alessandro Abate

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

On approximation metrics for linear temporal model-checking of stochastic systems.

Ilya Tkachev, Alessandro Abate

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Towards Real-Time Control of Gene Expression at the Single Cell Level: A Stochastic Control Approach.

Lakshmeesh R. M. Maruthi, Ilya Tkachev, Alfonso Carta, Eugenio Cinquemani, Pascal Hersen, Grégory Batt, Alessandro Abate

Proceedings of the Computational Methods in Systems Biology, 2014

2013

Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems.

Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems.

Ilya Tkachev, Alessandro Abate

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

A control Lyapunov function approach for the computation of the infinite-horizon stochastic reach-avoid problem.

Ilya Tkachev, Alessandro Abate

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

Regularization of bellman equations for infinite-horizon probabilistic properties.

Ilya Tkachev, Alessandro Abate

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Stability and attractivity of absorbing sets for discrete-time Markov processes.

Ilya Tkachev, Alessandro Abate

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011

On infinite-horizon probabilistic properties and stochastic bisimulation functions.

Ilya Tkachev, Alessandro Abate

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011