Controller Synthesis with Budget Constraints-Reference-Cited by-同舟云学术

Controller Synthesis with Budget Constraints

Published: Issue: Volume: Page:72-86
ISSN:0302-9743
Container-title:Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Chatterjee Krishnendu,Majumdar Rupak,Henzinger Thomas A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-78929-1_6.pdf

Reference19 articles.

1. Büchi, J.R., Landweber, L.H.: Solving sequential conditions by finite-state strategies. Transactions of the AMS 138, 295–311 (1969)

2. Lecture Notes in Computer Science;K. Chatterjee,2006

3. Chatterjee, K., Henzinger, T.A., Jurdziński, M.: Mean-payoff parity games. In: LICS 2005, pp. 178–187. IEEE, Los Alamitos (2005)

4. Church, A.: Logic, arithmetic, and automata. In: Proceedings of the International Congress of Mathematicians, pp. 23–35. Institut Mittag-Leffler (1962)

5. Emerson, E.A., Jutla, C.: Tree automata, mu-calculus and determinacy. In: FOCS 1991, pp. 368–377. IEEE, Los Alamitos (1991)

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Minimal Transition-Based Sensor Activation Policies for Delayed Supervisory Control;2022 IEEE 17th International Conference on Control & Automation (ICCA);2022-06-27

2. Sensing as a Complexity Measure;International Journal of Foundations of Computer Science;2019-09

3. Infinite-duration Bidding Games;Journal of the ACM;2019-08-26

4. Latticed-LTL synthesis in the presence of noisy inputs;Discrete Event Dynamic Systems;2017-04-06

5. Sensing as a Complexity Measure;Descriptional Complexity of Formal Systems;2017