2023 - 2026 Development of Data-Collection Algorithms and Data-Driven Control Methods for Guaranteed Stabilization of Nonlinear Systems with Uncertain Equilibria and Orbits
2020 - 2023 Stochastic Control-Theoretic Approach to Development of Simultaneously Cyber-Secure and Energy-Efficient Randomized Transmission Methods for Dependable IoT
論文 (86件):
Sasinee Pruekprasert, Jeremy Dubut, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya. Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis. Automatica. 2024. 160. 111441-111441
Paolo Arcaini, Ahmet Cetinkaya. CRAG at the SBFT 2024 Tool Competition - Cyber-Physical Systems Track. Proceedings of the 17th International Workshop on Search-Based and Fuzz Testing. 2024
Shuncheng Tang, Zhenya Zhang, Ahmet Cetinkaya, Paolo Arcaini. TUMB at the SBFT 2024 Tool Competition - CPS-UAV Test Case Generation Track. Proceedings of the 17th International Workshop on Search-Based and Fuzz Testing. 2024
Stefan Klikovits, Cédric Ho Thanh, Ahmet Cetinkaya, Paolo Arcaini. Trust your neighbours: Handling noise in multi-objective optimisation using kNN-averaging. Applied Soft Computing. 2023. 146. 110631-110631
Stefan Klikovits, Ezequiel Castellano, Ahmet Cetinkaya, Paolo Arcaini. Frenetic-lib: An Extensible Framework for Search-Based Generation of Road Structures for ADS Testing. Science of Computer Programming. 2023
2024/04 - International Workshop on Search-Based and Fuzz Testing 2024 2024 CPS-ADS TOOL COMPETITION AWARD
2023/05 - 16th Intl. Workshop on Search-Based and Fuzz Testing CPS Tool Competition Winner CRAG at the SBFT 2023 Tool Competition Cyber-Physical Systems Track