A control strategy algorithm for finite alternating transition systems. Zhang, J., Zhu, Z., & Yang, J. *arXiv:1212.6607 [cs, math]*, December, 2012. Paper abstract bibtex Recently, there has been an increasing interest in the formal analysis and design of control systems. In this area, in order to reduce the complexity and scale of control systems, finite abstractions of control systems are introduced and explored. Amongst, Pola and Tabuada construct finite alternating transition systems as approximate finite abstractions for control systems with disturbance inputs [SIAM Journal on Control and Optimization, Vol. 48, 2009, 719-733]. Given linear temporal logical formulas as specifications, this paper provides a control strategy algorithm to find control strategies of Pola and Tabuada's abstractions enforcing specifications.

@article{zhang_control_2012,
title = {A control strategy algorithm for finite alternating transition systems},
url = {http://arxiv.org/abs/1212.6607},
abstract = {Recently, there has been an increasing interest in the formal analysis and design of control systems. In this area, in order to reduce the complexity and scale of control systems, finite abstractions of control systems are introduced and explored. Amongst, Pola and Tabuada construct finite alternating transition systems as approximate finite abstractions for control systems with disturbance inputs [SIAM Journal on Control and Optimization, Vol. 48, 2009, 719-733]. Given linear temporal logical formulas as specifications, this paper provides a control strategy algorithm to find control strategies of Pola and Tabuada's abstractions enforcing specifications.},
urldate = {2021-01-27},
journal = {arXiv:1212.6607 [cs, math]},
author = {Zhang, Jinjin and Zhu, Zhaohui and Yang, Jianfei},
month = dec,
year = {2012},
keywords = {Computer Science - Logic in Computer Science, Mathematics - Optimization and Control, ⛔ No DOI found},
}

Downloads: 0

{"_id":"pZJE892Z34jfbDWKd","bibbaseid":"zhang-zhu-yang-acontrolstrategyalgorithmforfinitealternatingtransitionsystems-2012","author_short":["Zhang, J.","Zhu, Z.","Yang, J."],"bibdata":{"bibtype":"article","type":"article","title":"A control strategy algorithm for finite alternating transition systems","url":"http://arxiv.org/abs/1212.6607","abstract":"Recently, there has been an increasing interest in the formal analysis and design of control systems. In this area, in order to reduce the complexity and scale of control systems, finite abstractions of control systems are introduced and explored. Amongst, Pola and Tabuada construct finite alternating transition systems as approximate finite abstractions for control systems with disturbance inputs [SIAM Journal on Control and Optimization, Vol. 48, 2009, 719-733]. Given linear temporal logical formulas as specifications, this paper provides a control strategy algorithm to find control strategies of Pola and Tabuada's abstractions enforcing specifications.","urldate":"2021-01-27","journal":"arXiv:1212.6607 [cs, math]","author":[{"propositions":[],"lastnames":["Zhang"],"firstnames":["Jinjin"],"suffixes":[]},{"propositions":[],"lastnames":["Zhu"],"firstnames":["Zhaohui"],"suffixes":[]},{"propositions":[],"lastnames":["Yang"],"firstnames":["Jianfei"],"suffixes":[]}],"month":"December","year":"2012","keywords":"Computer Science - Logic in Computer Science, Mathematics - Optimization and Control, ⛔ No DOI found","bibtex":"@article{zhang_control_2012,\n\ttitle = {A control strategy algorithm for finite alternating transition systems},\n\turl = {http://arxiv.org/abs/1212.6607},\n\tabstract = {Recently, there has been an increasing interest in the formal analysis and design of control systems. In this area, in order to reduce the complexity and scale of control systems, finite abstractions of control systems are introduced and explored. Amongst, Pola and Tabuada construct finite alternating transition systems as approximate finite abstractions for control systems with disturbance inputs [SIAM Journal on Control and Optimization, Vol. 48, 2009, 719-733]. Given linear temporal logical formulas as specifications, this paper provides a control strategy algorithm to find control strategies of Pola and Tabuada's abstractions enforcing specifications.},\n\turldate = {2021-01-27},\n\tjournal = {arXiv:1212.6607 [cs, math]},\n\tauthor = {Zhang, Jinjin and Zhu, Zhaohui and Yang, Jianfei},\n\tmonth = dec,\n\tyear = {2012},\n\tkeywords = {Computer Science - Logic in Computer Science, Mathematics - Optimization and Control, ⛔ No DOI found},\n}\n\n","author_short":["Zhang, J.","Zhu, Z.","Yang, J."],"key":"zhang_control_2012","id":"zhang_control_2012","bibbaseid":"zhang-zhu-yang-acontrolstrategyalgorithmforfinitealternatingtransitionsystems-2012","role":"author","urls":{"Paper":"http://arxiv.org/abs/1212.6607"},"keyword":["Computer Science - Logic in Computer Science","Mathematics - Optimization and Control","⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["computer science - logic in computer science","mathematics - optimization and control","⛔ no doi found"],"search_terms":["control","strategy","algorithm","finite","alternating","transition","systems","zhang","zhu","yang"],"title":"A control strategy algorithm for finite alternating transition systems","year":2012}