Poster Abstract: OmegaThreads: Symbolic Controller Design for ω-regular Objectives

被引：0

作者：

Khaled, Mahmoud ^{[1
,2
]}

Zamani, Majid ^{[3
,4
]}

机构：

[1] Tech Univ Munich, Dept Elect & Comp Engn, Munich, Germany

[2] Ludwig Maximilians Univ Munchen, Dept Comp Sci, Munich, Germany

[3] Univ Colorado, Dept Comp Sci, Boulder, CO 80309 USA

[4] Ludwig Maximilians Univ Munchen, Munich, Germany

来源：

HSCC2021: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS-IOT WEEK) | 2021年

基金：

欧洲研究理事会; 欧盟地平线“2020”;

关键词：

Reactive Synthesis; Automated Controller Synthesis; omega-regular; specifications; Linear Temporal Logic (LTL); Parity Automata; Parity Games; Parallel Algorithms;

D O I：

10.1145/3447928.3457211

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Increasing levels of autonomy in safety-critical systems such as autonomous vehicles, airplanes, and medical robots, pose questions about their safety, thus compelling the scientific community to provide novel techniques for the design of foolproof safety-critical control software (SCCS). One promising approach for designing formally-correct SCCS is to use unambiguous formal descriptions for design requirements and, at the same time, automate the development and implementation processes. In this poster, we introduce OmegaThreads [3], a tool for automated synthesis of formally-correct controllers for control systems from omega-regular specifications.

引用

页数：2

共 50 条

[1] OmegaThreads: Symbolic Controller Design for ω-regular Objectives
Khaled, Mahmoud
Zamani, Majid
HSCC2021: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS-IOT WEEK), 2021,
[2] Poster Abstract: Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
Balakrishnan, Anand
Jaksic, Stefan
Aguilar, Edgar A.
Nickovic, Dejan
Deshmukh, Jyotirmoy, V
HSCC 2022: PROCEEDINGS OF THE 25TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS-IOT WEEK 2022), 2022,
[3] A case for GUI testing using symbolic execution poster abstract
Ganov, Svetoslav
Khurshid, Sarfraz
Perry, Dewayne
TAIC PART 2007 - TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE - PRACTICE AND RESEARCH TECHNIQUES, PROCEEDINGS: CO-LOCATED WITH MUTATION 2007, 2007, : 135 - 135
[4] Controller design with multiple objectives
Elia, N
Dahleh, MA
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1997, 42 (05) : 596 - 613
[5] Poster Abstract: Lightweight Authentication Method for Controller Area Network
Kang, Ki-Dong
Baek, Youngmi
Lee, Seonghun
Son, Sang H.
2016 IEEE 22ND INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA), 2016, : 101 - 101
[6] Controller design by symbolic regression
Danai, Kourosh
La Cava, William G.
MECHANICAL SYSTEMS AND SIGNAL PROCESSING, 2021, 151
[7] Poster Abstract: A Game Theoretic Approach to Controller Design for Cyber-Physical Systems: Collision Avoidance
Park, Jaeyong
Kurt, Arda
Oezguener, Uemit
2013 ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS), 2013, : 254 - 254
[8] Comments on "Controller design with multiple objectives"
Wenczel, RB
Eberhard, AC
Hill, RD
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2000, 45 (11) : 2197 - 2198
[9] Minimum Attention Controller Synthesis for Omega-Regular Objectives
Chatterjee, Krishnendu
Majumdar, Rupak
FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2011, 6919 : 145 - 159
[10] Poster Abstract: Generative Interior Design using BIM
Sydora, Christoph
Stroulia, Eleni
BUILDSYS'19: PROCEEDINGS OF THE 6TH ACM INTERNATIONAL CONFERENCE ON SYSTEMS FOR ENERGY-EFFICIENT BUILDINGS, CITIES, AND TRANSPORTATION, 2019, : 354 - 355

← 1 2 3 4 5 →