Boyan Yordanov

2013

Boyan Yordanov, Jana Tůmová, Ivana Černá, Jiří Barnat, and Calin Belta:
Formal analysis of piecewise affine systems through formula-guided refinement,
Automatica, 2013, 261–266. [bibtex, url]

2012

Boyan Yordanov, Jana Tůmová, Ivana Černá, Jiří Barnat, and Calin Belta:
Temporal Logic Control of Discrete-Time Piecewise Affine Systems,
IEEE Transactions on Automatic Control, 2012. [bibtex, url]

Boyan Yordanov, Jana Tůmová, Ivana Černá, Jiří Barnat, and Calin Belta:
Temporal Logic Control of Discrete-Time Piecewise Affine Systems,
IEEE Transactions on Automatic Control, 2012. [bibtex, url]

2010

Jana Tůmová, Boyan Yordanov, Calin Belta, Ivana Černá, and Jiří Barnat:
A Symbolic Approach to Controlling Piecewise Affine Systems,
Proceedings of of the 49th IEEE Conference on Decision and Control (CDC), Omnipress for IEEE Control Systems Society, 2010, 4230 -4235. [bibtex]

Boyan Yordanov, Jana Tůmová, Calin Belta, Ivana Černá, and Jiří Barnat:
Formal Analysis of Piecewise Affine Systems through Formula -Guided Refinement,
Proceedings of of the 49th IEEE Conference on Decision and Control (CDC), Omnipress for IEEE Control Systems Society, 2010, 5899 -5904. [bibtex]