Automating Timed Automata Design

Projektinformationen

AutoTADes

ID Finanzhilfevereinbarung: 798482

DOI 10.3030/798482

Abgeschlossenes Projekt

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

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, Page(s) 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, Page(s) 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, Issue 53/2, 2020, Page(s) 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, Issue 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, Page(s) 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, Issue 12651, 2021, Page(s) 291-310, ISBN 978-3-030-72015-5
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-72016-2_16