Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1358269, author = {Tesařová, Eva and Svoreňová, Mária and Barnat, Jiří and Černá, Ivana}, address = {Boston}, booktitle = {2016 American Control Conference (ACC)}, doi = {http://dx.doi.org/10.1109/ACC.2016.7525062}, keywords = {Formal verification/synthesis; Optimal control; Uncertain systems}, howpublished = {paměťový nosič}, language = {eng}, location = {Boston}, isbn = {978-1-4673-8682-1}, pages = {1099-1104}, publisher = {IEEE Conference Publications}, title = {Optimal observation mode scheduling for systems under temporal constraints}, url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7525062}, year = {2016} }
TY - JOUR ID - 1358269 AU - Tesařová, Eva - Svoreňová, Mária - Barnat, Jiří - Černá, Ivana PY - 2016 TI - Optimal observation mode scheduling for systems under temporal constraints PB - IEEE Conference Publications CY - Boston SN - 9781467386821 KW - Formal verification/synthesis KW - Optimal control KW - Uncertain systems UR - http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7525062 N2 - Modern control systems use various sensors to decrease the amount of uncertainty under which they operate. While providing observation of the current state of the system, sensors require resources such as energy, time and commu- nication. We consider discrete models of such systems with non-deterministic control transitions and multiple observation modes that provide different information about the system’s states. We consider two control problems. First, we aim to construct a control and observation mode scheduling strategy that guarantees satisfaction of a finite-time temporal property given as a formula of syntactically co-safe fragment of LTL (scLTL) and at the same time, minimizes the worst-case cost associated with observation modes until the point of satisfaction. Second, the bounded version of the problem is considered, where the temporal property must be satisfied within given finite time bound. We present correct and optimal solutions to both problems and demonstrate their usability on a case study motivated by robotic applications. ER -
TESAŘOVÁ, Eva, Mária SVOREŇOVÁ, Jiří BARNAT and Ivana ČERNÁ. Optimal observation mode scheduling for systems under temporal constraints. In \textit{2016 American Control Conference (ACC)}. Boston: IEEE Conference Publications, 2016, p.~1099-1104. ISBN~978-1-4673-8682-1. Available from: https://dx.doi.org/10.1109/ACC.2016.7525062.
|