ABS: A formally correct software tool for space-efficient symbolic synthesis-Reference-Cited by-同舟云学术

ABS: A formally correct software tool for space-efficient symbolic synthesis

Published:2022-05-04 Issue: Volume: Page:
ISSN:
Container-title:25th ACM International Conference on Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Weber Alexander¹,Macoveiciuc Elisei²,Reissig Gunther²

Affiliation:

1. Department of Mechanical, Automotive and Aeronautical Engineering, Munich University of Applied Sciences, Germany

2. Department of Aerospace Engineering LRT-15, Institute of Control Engineering, Bundeswehr University Munich, Germany

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3501710.3519519

Reference40 articles.

1. Control: A perspective

2. GRKLib: a Guaranteed Runge Kutta Library

3. Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings

4. George F. Corliss and Robert Rihm . 1996 . Validating an a priori enclosure using high-order Taylor series. In Scientific computing and validated numerics (Wuppertal, 1995). Math. Res., Vol. 90. Akademie Verlag , Berlin, 228–238. George F. Corliss and Robert Rihm. 1996. Validating an a priori enclosure using high-order Taylor series. In Scientific computing and validated numerics (Wuppertal, 1995). Math. Res., Vol. 90. Akademie Verlag, Berlin, 228–238.

5. Validated explicit and implicit Runge-Kutta methods;Sandretto Julien Alexandre;Reliab. Comput.,2016

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

1. Spontaneous State Constraint Insertions to Operating Symbolic Controllers Combined with Runtime Assurance for Task Allocation in UAV Missions;2024 European Control Conference (ECC);2024-06-25

2. Enhanced Optimal Symbolic Controller Synthesis: Application to a Boiler System;IEEE Transactions on Control Systems Technology;2024

3. Symbolic control applied to miniature quadcopter mission guidance;2023 European Control Conference (ECC);2023-06-13