Automating Timed Automata Design

Información del proyecto

AutoTADes

Identificador del acuerdo de subvención: 798482

DOI

10.3030/798482

Proyecto cerrado

Fecha de la firma de la CE 11 Julio 2018

Fecha de inicio 1 Agosto 2018

Fecha de finalización 31 Julio 2020

Financiado con arreglo a

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coste total

€ 157 845,60

Aportación de la UE

€ 157 845,60

Coordinado por

MIDDLE EAST TECHNICAL UNIVERSITY
Türkiye

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Conference proceedings (3)

Clock Reduction in Timed Automata While Preserving Design Parameters

Autores: Beyazit Yalcinkaya, Ebru Aydin Gol
Publicado en: 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE), 2019, Página(s) 31-40, ISBN 978-1-7281-3373-7
Editor: IEEE
DOI: 10.1109/formalise.2019.00010

Cause Mining and Controller Synthesis with STL

Autores: Irmak Saglam, Ebru Aydin Gol
Publicado en: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Página(s) 4589-4594, ISBN 978-1-7281-1398-2
Editor: IEEE
DOI: 10.1109/cdc40024.2019.9029894

Adaptive Cruise Control with Timed Automata

Autores: Mustafa Yavuz Kara, Ebru Aydin Gol
Publicado en: IFAC-PapersOnLine, Edición 53/2, 2020, Página(s) 1918-1923, ISSN 2405-8963
Editor: IFAC Publisher in partnership with Elsevier
DOI: 10.1016/j.ifacol.2020.12.2585

Other (1)

ATAC: A Tool for Automating Timed Automata Construction

Autores: Yalcinkaya, Beyazit; Gol, Ebru Aydin
Publicado en: CoRR, Edición 1, 2019
Editor: Arxiv

Peer reviewed articles (2)

An automated system repair framework with signal temporal logic

Autores: Mert Ergurtuna, Beyazit Yalcinkaya, Ebru Aydin Gol
Publicado en: Acta Informatica, 2021, ISSN 0001-5903
Editor: Springer Verlag
DOI: 10.1007/s00236-021-00403-z

Control synthesis for parametric timed automata under reachability

Autores: Ebru AYDIN GOL
Publicado en: TURKISH JOURNAL OF ELECTRICAL ENGINEERING & COMPUTER SCIENCES, 2021, Página(s) 1751-1764, ISSN 1303-6203
Editor: Tubitak
DOI: 10.3906/elk-2007-170

Book chapters (1)

Timed Automata Relaxation for Reachability

Autores: Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Černá
Publicado en: 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, Edición 12651, 2021, Página(s) 291-310, ISBN 978-3-030-72015-5
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-72016-2_16