Automating Timed Automata Design

Project Information

AutoTADes

Grant agreement ID: 798482

DOI 10.3030/798482

Project closed

EC signature date 11 July 2018

Start date 1 August 2018

End date 31 July 2020

Funded under

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Total cost € 157 845,60

EU contribution € 157 845,60

Coordinated by

MIDDLE EAST TECHNICAL UNIVERSITY
Türkiye

Publications

Conference proceedings (3)

Clock Reduction in Timed Automata While Preserving Design Parameters

Author(s): Beyazit Yalcinkaya, Ebru Aydin Gol
Published 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
Publisher: IEEE
DOI: 10.1109/formalise.2019.00010

Cause Mining and Controller Synthesis with STL

Author(s): Irmak Saglam, Ebru Aydin Gol
Published in: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 4589-4594, ISBN 978-1-7281-1398-2
Publisher: IEEE
DOI: 10.1109/cdc40024.2019.9029894

Adaptive Cruise Control with Timed Automata

Author(s): Mustafa Yavuz Kara, Ebru Aydin Gol
Published in: IFAC-PapersOnLine, Issue 53/2, 2020, Page(s) 1918-1923, ISSN 2405-8963
Publisher: IFAC Publisher in partnership with Elsevier
DOI: 10.1016/j.ifacol.2020.12.2585

Other (1)

ATAC: A Tool for Automating Timed Automata Construction

Author(s): Yalcinkaya, Beyazit; Gol, Ebru Aydin
Published in: CoRR, Issue 1, 2019
Publisher: Arxiv

Peer reviewed articles (2)

An automated system repair framework with signal temporal logic

Author(s): Mert Ergurtuna, Beyazit Yalcinkaya, Ebru Aydin Gol
Published in: Acta Informatica, 2021, ISSN 0001-5903
Publisher: Springer Verlag
DOI: 10.1007/s00236-021-00403-z

Control synthesis for parametric timed automata under reachability

Author(s): Ebru AYDIN GOL
Published in: TURKISH JOURNAL OF ELECTRICAL ENGINEERING & COMPUTER SCIENCES, 2021, Page(s) 1751-1764, ISSN 1303-6203
Publisher: Tubitak
DOI: 10.3906/elk-2007-170

Book chapters (1)

Timed Automata Relaxation for Reachability

Author(s): Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Černá
Published 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
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-72016-2_16