Augmented finite transition systems as abstractions for control synthesis-Reference-Cited by-同舟云学术

Augmented finite transition systems as abstractions for control synthesis

Published:2017-03-31 Issue:2 Volume:27 Page:301-340
ISSN:0924-6703
Container-title:Discrete Event Dynamic Systems
language:en
Short-container-title:Discrete Event Dyn Syst

Author:

Nilsson Petter^ORCID,Ozay Necmiye,Liu Jun

Funder

National Science Foundation

Defense Advanced Research Projects Agency

Publisher

Springer Science and Business Media LLC

Subject

Electrical and Electronic Engineering,Modeling and Simulation,Control and Systems Engineering

Link

http://link.springer.com/content/pdf/10.1007/s10626-017-0243-z.pdf

Reference39 articles.

1. Ahmadi AA, Majumdar A (2014) DSOS and SDSOS optimization: LP and SOCP-based alternatives to sum of squares optimization. In: Proceedings of the IEEE conference on decision and control, pp 394–401

2. Ahmadi AA, Parrilo PA (2014) Towards scalable algorithms with formal guarantees for Lyapunov analysis of control systems via algebraic optimization

3. Baier C., Katoen J. (2008) Principles of model checking, MIT press

4. Batt G., Belta C., Weiss R. (2008) Temporal logic analysis of gene networks under parameter uncertainty. IEEE Trans Automatic Control 53(Special Issue):215–229

5. Belta C., Habets L. (2006) Controlling a class of nonlinear systems on rectangles. IEEE Trans Automatic Control 51(11):1749–1759

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

1. Stochastic Lyapunov-Barrier Functions for Robust Probabilistic Reach-Avoid-Stay Specifications;IEEE Transactions on Automatic Control;2024-08

2. Robust stutter bisimulation for abstraction and controller synthesis with disturbance;Automatica;2024-02

3. Symbolic control for stochastic systems via finite parity games;Nonlinear Analysis: Hybrid Systems;2024-02

4. Fair $$\omega $$-Regular Games;Lecture Notes in Computer Science;2024

5. Solving Two-Player Games Under Progress Assumptions;Lecture Notes in Computer Science;2023-12-30