Automating Timed Automata Design

Informations projet

AutoTADes

N° de convention de subvention: 798482

DOI

10.3030/798482

Projet clôturé

Date de signature de la CE 11 Juillet 2018

Date de début 1 Août 2018

Date de fin 31 Juillet 2020

Financé au titre de

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coût total

€ 157 845,60

Contribution de l’UE

€ 157 845,60

Coordonné par

MIDDLE EAST TECHNICAL UNIVERSITY
Türkiye

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (3)

Clock Reduction in Timed Automata While Preserving Design Parameters

Auteurs: Beyazit Yalcinkaya, Ebru Aydin Gol
Publié dans: 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE), 2019, Page(s) 31-40, ISBN 978-1-7281-3373-7
Éditeur: IEEE
DOI: 10.1109/formalise.2019.00010

Cause Mining and Controller Synthesis with STL

Auteurs: Irmak Saglam, Ebru Aydin Gol
Publié dans: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 4589-4594, ISBN 978-1-7281-1398-2
Éditeur: IEEE
DOI: 10.1109/cdc40024.2019.9029894

Adaptive Cruise Control with Timed Automata

Auteurs: Mustafa Yavuz Kara, Ebru Aydin Gol
Publié dans: IFAC-PapersOnLine, Numéro 53/2, 2020, Page(s) 1918-1923, ISSN 2405-8963
Éditeur: IFAC Publisher in partnership with Elsevier
DOI: 10.1016/j.ifacol.2020.12.2585

Other (1)

ATAC: A Tool for Automating Timed Automata Construction

Auteurs: Yalcinkaya, Beyazit; Gol, Ebru Aydin
Publié dans: CoRR, Numéro 1, 2019
Éditeur: Arxiv

Peer reviewed articles (2)

An automated system repair framework with signal temporal logic

Auteurs: Mert Ergurtuna, Beyazit Yalcinkaya, Ebru Aydin Gol
Publié dans: Acta Informatica, 2021, ISSN 0001-5903
Éditeur: Springer Verlag
DOI: 10.1007/s00236-021-00403-z

Control synthesis for parametric timed automata under reachability

Auteurs: Ebru AYDIN GOL
Publié dans: TURKISH JOURNAL OF ELECTRICAL ENGINEERING & COMPUTER SCIENCES, 2021, Page(s) 1751-1764, ISSN 1303-6203
Éditeur: Tubitak
DOI: 10.3906/elk-2007-170

Book chapters (1)

Timed Automata Relaxation for Reachability

Auteurs: Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Černá
Publié dans: 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, Numéro 12651, 2021, Page(s) 291-310, ISBN 978-3-030-72015-5
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-72016-2_16