Automating Timed Automata Design

Projektinformationen

AutoTADes

ID Finanzhilfevereinbarung: 798482

DOI

10.3030/798482

Projekt abgeschlossen

EK-Unterschriftsdatum 11 Juli 2018

Startdatum 1 August 2018

Enddatum 31 Juli 2020

Finanziert unter

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Gesamtkosten

€ 157 845,60

EU-Beitrag

€ 157 845,60

Koordiniert durch

MIDDLE EAST TECHNICAL UNIVERSITY
Türkiye

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Conference proceedings (3)

Clock Reduction in Timed Automata While Preserving Design Parameters

Autoren: Beyazit Yalcinkaya, Ebru Aydin Gol
Veröffentlicht in: 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE), 2019, Seite(n) 31-40, ISBN 978-1-7281-3373-7
Herausgeber: IEEE
DOI: 10.1109/formalise.2019.00010

Cause Mining and Controller Synthesis with STL

Autoren: Irmak Saglam, Ebru Aydin Gol
Veröffentlicht in: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Seite(n) 4589-4594, ISBN 978-1-7281-1398-2
Herausgeber: IEEE
DOI: 10.1109/cdc40024.2019.9029894

Adaptive Cruise Control with Timed Automata

Autoren: Mustafa Yavuz Kara, Ebru Aydin Gol
Veröffentlicht in: IFAC-PapersOnLine, Ausgabe 53/2, 2020, Seite(n) 1918-1923, ISSN 2405-8963
Herausgeber: IFAC Publisher in partnership with Elsevier
DOI: 10.1016/j.ifacol.2020.12.2585

Other (1)

ATAC: A Tool for Automating Timed Automata Construction

Autoren: Yalcinkaya, Beyazit; Gol, Ebru Aydin
Veröffentlicht in: CoRR, Ausgabe 1, 2019
Herausgeber: Arxiv

Peer reviewed articles (2)

An automated system repair framework with signal temporal logic

Autoren: Mert Ergurtuna, Beyazit Yalcinkaya, Ebru Aydin Gol
Veröffentlicht in: Acta Informatica, 2021, ISSN 0001-5903
Herausgeber: Springer Verlag
DOI: 10.1007/s00236-021-00403-z

Control synthesis for parametric timed automata under reachability

Autoren: Ebru AYDIN GOL
Veröffentlicht in: TURKISH JOURNAL OF ELECTRICAL ENGINEERING & COMPUTER SCIENCES, 2021, Seite(n) 1751-1764, ISSN 1303-6203
Herausgeber: Tubitak
DOI: 10.3906/elk-2007-170

Book chapters (1)

Timed Automata Relaxation for Reachability

Autoren: Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Černá
Veröffentlicht in: Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I, Ausgabe 12651, 2021, Seite(n) 291-310, ISBN 978-3-030-72015-5
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-72016-2_16