Automating Timed Automata Design

Informacje na temat projektu

AutoTADes

Identyfikator umowy o grant: 798482

DOI

10.3030/798482

Projekt został zamknięty

Data podpisania przez KE 11 Lipca 2018

Data rozpoczęcia 1 Sierpnia 2018

Data zakończenia 31 Lipca 2020

Finansowanie w ramach

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Koszt całkowity

€ 157 845,60

Wkład UE

€ 157 845,60

Koordynowany przez

MIDDLE EAST TECHNICAL UNIVERSITY
Türkiye

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Conference proceedings (3)

Clock Reduction in Timed Automata While Preserving Design Parameters

Autorzy: Beyazit Yalcinkaya, Ebru Aydin Gol
Opublikowane w: 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE), 2019, Strona(/y) 31-40, ISBN 978-1-7281-3373-7
Wydawca: IEEE
DOI: 10.1109/formalise.2019.00010

Cause Mining and Controller Synthesis with STL

Autorzy: Irmak Saglam, Ebru Aydin Gol
Opublikowane w: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Strona(/y) 4589-4594, ISBN 978-1-7281-1398-2
Wydawca: IEEE
DOI: 10.1109/cdc40024.2019.9029894

Adaptive Cruise Control with Timed Automata

Autorzy: Mustafa Yavuz Kara, Ebru Aydin Gol
Opublikowane w: IFAC-PapersOnLine, Numer 53/2, 2020, Strona(/y) 1918-1923, ISSN 2405-8963
Wydawca: IFAC Publisher in partnership with Elsevier
DOI: 10.1016/j.ifacol.2020.12.2585

Other (1)

ATAC: A Tool for Automating Timed Automata Construction

Autorzy: Yalcinkaya, Beyazit; Gol, Ebru Aydin
Opublikowane w: CoRR, Numer 1, 2019
Wydawca: Arxiv

Peer reviewed articles (2)

An automated system repair framework with signal temporal logic

Autorzy: Mert Ergurtuna, Beyazit Yalcinkaya, Ebru Aydin Gol
Opublikowane w: Acta Informatica, 2021, ISSN 0001-5903
Wydawca: Springer Verlag
DOI: 10.1007/s00236-021-00403-z

Control synthesis for parametric timed automata under reachability

Autorzy: Ebru AYDIN GOL
Opublikowane w: TURKISH JOURNAL OF ELECTRICAL ENGINEERING & COMPUTER SCIENCES, 2021, Strona(/y) 1751-1764, ISSN 1303-6203
Wydawca: Tubitak
DOI: 10.3906/elk-2007-170

Book chapters (1)

Timed Automata Relaxation for Reachability

Autorzy: Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Černá
Opublikowane w: 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, Numer 12651, 2021, Strona(/y) 291-310, ISBN 978-3-030-72015-5
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-72016-2_16