論文

発表年月 タイトル/共同研究者 掲載誌 巻・号・頁 学術機関等
2025/05 A rolling horizon game considering network effect in cluster forming for dynamic resilient multiagent systems
Yurid E. Nugraha, Ahmet Cetinkaya, Tomohisa Hayakawa, Hideaki Ishii, Quanyan Zhu
Automatica 175巻 112137から 112137ページまで Elsevier BV
2025/03 DETOUR at the ICST 2025 Tool Competition ? Self-Driving Car Testing Track
Paolo Arcaini, Ahmet Cetinkaya
2025 IEEE Conference on Software Testing, Verification and Validation (ICST) 805から 806ページまで IEEE
2025/03 PALM at the ICST 2025 Tool Competition ? UAV Testing Track
Shuncheng Tang, Zhenya Zhang, Ahmet Cetinkaya, Paolo Arcaini
2025 IEEE Conference on Software Testing, Verification and Validation (ICST) 823から 824ページまで IEEE
2025/03 Time-Discretized Simulation Approach for Safety Analysis of Vehicle Platoons Under Sudden Braking and Communication Losses
Yuhao Chen, Ahmet Cetinkaya
2025 SICE International Symposium on Control Systems (SICE ISCS) 125から 131ページまで IEEE
2025/01 Decision Making for Automated Driving
Sasinee Pruekprasert, Ahmet Cetinkaya, Ichiro Hasuo
Safety Assurance under Uncertainties: From Software to Cyber-Physical/Machine Learning Systems 166から 205ページまで
2025/01 Data-driven Quantized Control of Unknown Linear Systems with Uncertainties
Iori Takaki, Ahmet Cetinkaya, Hideaki Ishii
Transactions of the Society of Instrument and Control Engineers 61巻 2号 77から 85ページまで The Society of Instrument and Control Engineers
2024/07 Trust Your Neighbours: Handling Noise in Multi-Objective Optimisation Using kNN-Averaging (GECCO'24 Hot off the Press)
Stefan Klikovits, Cedric Ho Thanh, Ahmet Cetinkaya, Paolo Arcaini
Proceedings of the Genetic and Evolutionary Computation Conference Companion 39から 40ページまで ACM
2024/04 TUMB at the SBFT 2024 Tool Competition - CPS-UAV Test Case Generation Track
Shuncheng Tang, Zhenya Zhang, Ahmet Cetinkaya, Paolo Arcaini
Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and Fuzz Testing 53から 54ページまで ACM
2024/02 Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis
Sasinee Pruekprasert, Jeremy Dubut, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya
Automatica 160巻 111441から 111441ページまで Elsevier BV
2024/01 CRAG ? a combinatorial testing-based generator of road geometries for ADS testing
Paolo Arcaini, Ahmet Cetinkaya
Science of Computer Programming 238巻 103171から 103171ページまで Elsevier BV
2024/01 CRAG at the SBFT 2024 Tool Competition - Cyber-Physical Systems Track
Paolo Arcaini, Ahmet Cetinkaya
Proceedings of the 17th International Workshop on Search-Based and Fuzz Testing
2023/10 Trust your neighbours: Handling noise in multi-objective optimisation using kNN-averaging
Stefan Klikovits, Cedric Ho Thanh, Ahmet Cetinkaya, Paolo Arcaini
Applied Soft Computing 146巻 110631から 110631ページまで Elsevier BV
2023/07 Frenetic-lib: An Extensible Framework for Search-Based Generation of Road Structures for ADS Testing
Stefan Klikovits, Ezequiel Castellano, Ahmet Cetinkaya, Paolo Arcaini
Science of Computer Programming
2023/02 Effects of Jamming Attacks on Wireless Networked Control Systems Under Disturbance.
Ahmet Cetinkaya, Hideaki Ishii, Tomohisa Hayakawa
IEEE Trans. Autom. Control. 68巻 2号 1223から 1230ページまで
2023/01 Two-Player Incomplete Games of Resilient Multiagent Systems
Yurid E. Nugraha, Tomohisa Hayakawa, Hideaki Ishii, Ahmet Cetinkaya, Quanyan Zhu
IFAC-PapersOnLine 56巻 2号 258から 263ページまで Elsevier BV
2023/01 CRAG at the SBFT 2023 Tool Competition - Cyber-Physical Systems Track
Paolo Arcaini, Ahmet Cetinkaya
Proceedings of 16th IEEE/ACM International Workshop on Search-Based and Fuzz Testing 41から 44ページまで
2023/01 Risk-Aware Linear Quadratic Control Using Conditional Value-at-Risk.
Masako Kishida, Ahmet Cetinkaya
IEEE Trans. Autom. Control. 68巻 1号 416から 423ページまで
2022/12 Linearization-Based Quantized Stabilization of Nonlinear Systems Under DoS Attacks
Rui Kato, Ahmet Cetinkaya, Hideaki Ishii
IEEE Transactions on Automatic Control 67巻 12号 6826から 6833ページまで Institute of Electrical and Electronics Engineers (IEEE)
2022/01 Secure Networked Control Under Jamming Attacks: An SINR-Based Approach
Ahmet Cetinkaya, Hideaki Ishii, Tomohisa Hayakawa
Lecture Notes in Control and Information Sciences 63から 91ページまで Springer International Publishing
2022/01 Logic for Timed Agent Network Topologies.
Clovis Eberhart, James Haydon, Jeremy Dubut, Ahmet Cetinkaya, Sasinee Pruekprasert
CDC 2870から 2877ページまで
2022/01 Complexity and Efficiency of Nash Equilibria in Noncooperative Simple Platoon Games.
Adrianto Ravi Ibrahim, Ahmet Cetinkaya, Masako Kishida
CDC 4449から 4454ページまで
2022/01 A Tree-Based Multi-Scenario Approach to Networked MPC under Packet Losses and Disturbances
T. Arauz, J.M. Maestre, A. Cetinkaya, C. Stoica Maniu
IFAC-PapersOnLine 55巻 16号 296から 301ページまで Elsevier BV
2022/01 Rolling horizon games of resilient networks with non-uniform horizons.
Yurid Nugraha, Ahmet Cetinkaya, Tomohisa Hayakawa, Hideaki Ishii, Quanyan Zhu
Eur. J. Control 68巻 100693から 100693ページまで
2022/01 Modeling Heterogeneous Transportation Services by Two-Stage Congestion Games.
Adrianto Ravi Ibrahim, Ahmet Cetinkaya, Masako Kishida
ECC 2117から 2123ページまで
2022/01 FreneticV at the SBST 2022 Tool Competition.
Ezequiel Castellano, Stefan Klikovits, Ahmet Cetinkaya, Paolo Arcaini
SBST@ICSE 47から 48ページまで
2022/01 Does Road Diversity Really Matter in Testing Automated Driving Systems? - A Registered Report.
Stefan Klikovits, Vincenzo Riccio, Ezequiel Castellano, Ahmet Cetinkaya, Alessio Gambi, Paolo Arcaini
CoRR abs/2209.05947巻
2022/01 Resilient quantized control under Denial-of-Service: Variable bit rate quantization.
Shuai Feng, Ahmet Cetinkaya, Hideaki Ishii, Pietro Tesi, Claudio De Persis
Automatica(Autom.) 141巻 110302から 110302ページまで
2022/01 Impossibility Results for Constrained Control of Stochastic Systems
Ahmet Cetinkaya, Masako Kishida
IEEE Transactions on Automatic Control 1から 1ページまで Institute of Electrical and Electronics Engineers (IEEE)
2021/06 Model-based PI design for irrigation canals with faulty communication networks
T. Arauz, J. M. Maestre, A. Cetinkaya, E. F. Camacho
2021 European Control Conference (ECC) 1236から 1242ページまで IEEE
2021/01 Resilient Quantized Control under Denial-of-Service with the Application of Variable Bit Rate Quantization.
Shuai Feng, Ahmet Cetinkaya, Hideaki Ishii, Pietro Tesi, Claudio De Persis
ECC 509から 514ページまで
2021/01 Analysis of Road Representations in Search-Based Testing of Autonomous Driving Systems.
Ezequiel Castellano, Ahmet Cetinkaya, Paolo Arcaini
QRS 167から 178ページまで
2021/01 Nonlinear Data-Driven Control for Stabilizing Periodic Orbits.
Ahmet Cetinkaya, Masako Kishida
CDC 4326から 4331ページまで
2021/01 Networked Control Under DoS Attacks: Tradeoffs Between Resilience and Data Rate
Shuai Feng, Ahmet Cetinkaya, Hideaki Ishii, Pietro Tesi, Claudio De Persis
IEEE Transactions on Automatic Control 66巻 1号 460から 467ページまで
2021/01 Timed Congestion Games with Application to Multi-Fleet Platoon Matching.
Adrianto Ravi Ibrahim, Ahmet Cetinkaya, Masako Kishida
CDC 1677から 1682ページまで
2021/01 Cluster Formation in Multiagent Consensus via Dynamic Resilient Graph Games.
Yurid Nugraha, Ahmet Cetinkaya, Tomohisa Hayakawa, Hideaki Ishii, Quanyan Zhu
CCTA 735から 740ページまで
2021/01 Security Analysis of Linearization for Nonlinear Networked Control Systems Under DoS.
Rui Kato, Ahmet Cetinkaya, Hideaki Ishii
IEEE Transactions on Control of Network Systems 8巻 4号 1692から 1704ページまで
2021/01 Dynamic Resilient Network Games With Applications to Multiagent Consensus.
Yurid Nugraha, Ahmet Cetinkaya, Tomohisa Hayakawa, Hideaki Ishii, Quanyan Zhu
IEEE Transactions on Control of Network Systems 8巻 1号 246から 259ページまで
2021/01 Instabilizability Conditions for Continuous-Time Stochastic Systems Under Control Input Constraints
Ahmet Cetinkaya, Masako Kishida
IEEE Control Systems Letters 1から 1ページまで Institute of Electrical and Electronics Engineers (IEEE)
2021/01 Rolling Horizon Games for Cluster Formation of Resilient Multiagent Systems.
Yurid Nugraha, Ahmet Cetinkaya, Tomohisa Hayakawa, Hideaki Ishii, Quanyan Zhu
CDC 4829から 4934ページまで
2021/01 Frenetic at the SBST 2021 Tool Competition.
Ezequiel Castellano, Ahmet Cetinkaya, Cedric Ho Thanh, Stefan Klikovits, Xiaoyi Zhang, Paolo Arcaini
14th IEEE/ACM International Workshop on Search-Based Software Testing(SBST@ICSE) 36から 37ページまで IEEE
2020/12 A Search-Based Approach to Identifying Jamming Attacks and Defense Policies in Wireless Networked Control
Ahmet Cetinkaya, Paolo Arcaini, Hideaki Ishii, Tomohisa Hayakawa
Proc. 59th IEEE Conference on Decision and Control (CDC) 5717から 5724ページまで IEEE
2020/12 Dynamic Resilient Network Games Considering Connectivity
Yurid Nugraha, Ahmet Cetinkaya, Tomohisa Hayakawa, Hideaki Ishii, Quanyan Zhu
Proc. 59th IEEE Conference on Decision and Control (CDC) 3379から 3784ページまで IEEE
2020/07 Randomized Transmission Protocols for Protection against Jamming Attacks in Multi-Agent Consensus
Ahmet Cetinkaya, Kaito Kikuchi, Tomohisa Hayakawa, Hideaki Ishii
Automatica 117巻 108960から 108960ページまで Elsevier BV
2020/05 Tree-Based Model Predictive Control for Jamming Attacks
T. Pierron, T. Arauz, J. M. Maestre, A. Cetinkaya, C. Stoica Maniu
Proc. European Control Conference (ECC) 948から 953ページまで IEEE
2020/01 Stabilization of networked control systems under DoS attacks and output quantization
Masashi Wakaiki, Ahmet Cetinkaya, Hideaki Ishii
IEEE Transactions on Automatic Control 65巻 8号 3560から 3575ページまで
2020/01 Moment Propagation of Discrete-Time Stochastic Polynomial Systems using Truncated Carleman Linearization
Sasinee Pruekprasert, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya, Jeremy Dubut
IFAC-PapersOnLine 53巻 2号 14462から 14469ページまで Elsevier BV
2020/01 An impossibility result concerning bounded average-moment control of linear stochastic systems
Ahmet Cetinkaya, Masako Kishida
Proc. IFAC World Congress 2301から 2306ページまで
2020/01 DoS-Aware Quantized Control of Nonlinear Systems via Linearization
R. Kato, A. Cetinkaya, H. Ishii
Proc. IFAC World Congress 3116から 3121ページまで
2020/01 Dynamic Resilient Graph Games for State-Dependent Jamming Attacks Analysis on Multi-Agent Systems
Y. Nugraha, A. Cetinkaya, T. Hayakawa, H. Ishii, Q. Zhu
Proc. IFAC World Congress 3483から 3488ページまで
2019/07 Subgame Perfect Equilibrium Analysis for Jamming Attacks on Resilient Graphs
Yurid Nugraha, Tomohisa Hayakawa, Ahmet Cetinkaya, Hideaki Ishii, Quanyan Zhu
2019 American Control Conference (ACC) 2060から 2065ページまで
2019/01 Analysis of stochastic switched systems with application to networked control under jamming attacks
Ahmet Cetinkaya, Hideaki Ishii, Tomohisa Hayakawa
IEEE Transactions on Automatic Control 64巻 5号 2013から 2028ページまで
2019/01 Data rates for stabilizing control under Denial-of-Service attacks
Shuai Feng, Ahmet Cetinkaya, Hideaki Ishii, Pietro Tesi, Claudio {De Persis
Proc. American Control Conference 378から
2019/01 Networked Control under DoS Attacks: Trade-off between Resilience and Data Rate
Shuai Feng, Ahmet Cetinkaya, Hideaki Ishii, Pietro Tesi, Claudio De Persis
2019 AMERICAN CONTROL CONFERENCE (ACC) 378から 383ページまで
2019/01 Stabilization of nonlinear networked control systems under Denial-of-Service attacks: A linearization approach
Ryu Kato, Ahmet Cetinkaya, Hideaki Ishii
Proc. American Control Conference 1444から 1449ページまで
2019/01 An overview on Denial-of-Service attacks in control systems: Attack models and security analyses
Ahmet Cetinkaya, Hideaki Ishii, Tomohisa Hayakawa
Entropy 21巻 2号 1から
2019/01 A sampled-data approach to Pyragas-type delayed feedback stabilization of periodic orbits
Ahmet Cetinkaya, Tomohisa Hayakawa
IEEE Transactions on Automatic Control 64巻 9号 3748から
2019/01 Randomized Transmissions for Networked Control Under High-Frequency Jamming
Ahmet Cetinkaya, Hideaki Ishii, Tomohisa Hayakawa
IFAC-PapersOnLine 52巻 20号 375から 380ページまで
2018/03 State-feedback control of Markov jump linear systems with hidden-Markov mode observation
Masaki Ogura, Ahmet Cetinkaya, Tomohisa Hayakawa, Victor M. Preciado
Automatica 89巻 65から 72ページまで Elsevier BV
2018/01 Stabilizing unstable periodic orbits with delayed feedback control in act-and-wait fashion
Ahmet Cetinkaya, Tomohisa Hayakawa, Mohd Amir Fikri, Mohd Taib
Systems and Control Letters 113巻 71から
2018/01 State-dependent jamming interference in networked stabilization
Ahmet Cetinkaya, Hideaki Ishii, Tomohisa Hayakawa
Proc. 57th IEEE Conference on Decision and Control 7249から 7254ページまで
2018/01 A probabilistic characterization of random and malicious communication failures in multi-hop networked control
Ahmet Cetinkaya, Hideaki Ishii, Tomohisa Hayakawa
SIAM Journal on Control and Optimization 56巻 5号 3320から
2018/01 Quantized output feedback stabilization under dos attacks
Masashi Wakaiki, Ahmet Cetinkaya, Hideaki Ishii
Proc. American Control Conference 6487から 6492ページまで
2018/01 Self-triggered control with tradeoffs in communication and computation
Shigeru Akashi, Hideaki Ishii, Ahmet Cetinkaya
Automatica 94巻 373から 380ページまで
2018/01 Wireless networked control facing combined effects of disturbance and jamming interference
Ahmet Cetinkaya, Hideaki Ishii, Tomohisa Hayakawa
Proc. International Symposium on Mathematical Theory of Networks and Systems 387から
2018/01 The effect of time-varying jamming interference on networked stabilization
Ahmet Cetinkaya, Hideaki Ishii, Tomohisa Hayakawa
SIAM Journal on Control and Optimization 56巻 3号 2398から 2435ページまで
2017/12 Stochastic communication protocols for multi-agent consensus under jamming attacks
Kaito Kikuchi, Ahmet Cetinkaya, Tomohisa Hayakawa, Hideaki Ishii
2017 IEEE 56th Annual Conference on Decision and Control (CDC) 1657から 1662ページまで
2017/07 Wireless Control Under Jamming Attacks with Bounded Average Interference Power
Ahmet Cetinkaya, Hideaki Ishii, Tomohisa Hayakawa
IFAC-PapersOnLine 50巻 1号 8405から 8410ページまで
2017/05 Networked Control Under Random and Malicious Packet Losses
Ahmet Cetinkaya, Hideaki Ishii, Tomohisa Hayakawa
IEEE Transactions on Automatic Control 62巻 5号 2434から 2449ページまで
2016/12 Enhanced stability analysis for networked control systems under random and malicious packet losses
Ahmet Cetinkaya, Hideaki Ishii, Tomohisa Hayakawa
2016 IEEE 55th Conference on Decision and Control (CDC) 2721から 2726ページまで
2016/01 Self-triggered control for communication reduction in networked systems
Shigeru Akashi, Hideaki Ishii, Ahmet Cetinkaya
IFAC-PapersOnLine 49巻 22号 280から 285ページまで
2016/01 Efficient Criteria for Stability of Large-Scale Networked Control Systems**This work was supported in part by the NSF under grants CNS- 1302222 and IIS-1447470.
Masaki Ogura, Ahmet Cetinkaya, Tomohisa Hayakawa, Victor M. Preciado
6th IFAC Workshop on Distributed Estimation and Control in Networked Systems 49巻 22号 13から 18ページまで
2016/01 Random and Malicious Packet Transmission Failures on Multi-Hop Channels in Networked Control Systems**This work was supported in part by Japan Science and Technology Agency under the CREST program.
Ahmet Cetinkaya, Hideaki Ishii, Tomohisa Hayakawa
IFAC-PapersOnLine 49巻 22号 49から 54ページまで
2015/12 Event-triggered control over unreliable networks subject to jamming attacks
Ahmet Cetinkaya, Hideaki Ishii, Tomohisa Hayakawa
2015 54th IEEE Conference on Decision and Control (CDC) 35巻 4818から 4823ページまで
2015/12 Sampled-data delayed feedback control for stabilizing unstable periodic orbits
Ahmet Cetinkaya, Tomohisa Hayakawa
2015 54th IEEE Conference on Decision and Control (CDC) 136巻 1409から 1414ページまで
2015/07 State-feedback stabilization of Markov jump linear systems with randomly observed markov states
Masaki Ogura, Ahmet Cetinkaya, Victor M. Preciado
2015 American Control Conference (ACC) 95巻 1764から 1769ページまで
2015/02 Feedback control of switched stochastic systems using randomly available active mode information
Ahmet Cetinkaya, Tomohisa Hayakawa
AUTOMATICA 52巻 55から 62ページまで
2015/01 Stochastic heat diffusion modelling and the discrete Laplace-Beltrami operator on non-uniformly gridded closed curves
Lukas Frannek, Tomohisa Hayakawa, Ahmet Cetinkaya
SICE Journal of Control, Measurement, and System Integration 8巻 2号 171から 180ページまで The Society of Instrument and Control Engineers
2015/01 Event-triggered output feedback control resilient against jamming attacks and random packet losses
Ahmet Cetinkaya, Hideaki Ishii, Tomohisa Hayakawa
Proc. 5th IFAC Workshop on Distributed Estimation and Control in Networked Systems (NecSys'15) 270から
2014/06 Sampled-mode-dependent time-varying control strategy for stabilizing discrete-time switched stochastic systems
Ahmet Cetinkaya, Tomohisa Hayakawa
2014 American Control Conference 2巻 3966から 3971ページまで
2014/06 Stochastic heat diffusion modelling with random walks on the non-uniformly gridded circle
Lukas Frannek, Tomohisa Hayakawa, Ahmet Cetinkaya
2014 American Control Conference 35巻 1150から 1155ページまで
2014/01 Sampled-Parameter Feedback Control of Discrete-time Linear Stochastic Parameter-Varying Systems
Ahmet Cetinkaya, Tomohisa Hayakawa
19th IFAC World Congress 47巻 3号 8146から 8151ページまで
2013/06 Stabilizing discrete-time switched linear stochastic systems using periodically available imprecise mode information
Ahmet Cetinkaya, Tomohisa Hayakawa
2013 American Control Conference 27巻 3266から 3271ページまで
2013/06 Heat diffusion modelling with random walks on triangular lattices
Lukas Frannek, Tomohisa Hayakawa, Ahmet Cetinkaya
2013 American Control Conference 56巻 1118から 1123ページまで
2013/01 Discrete-time switched stochastic control systems with randomly observed operation mode
Ahmet Cetinkaya, Tomohisa Hayakawa
Proceedings of the IEEE Conference on Decision and Control 85から 90ページまで Institute of Electrical and Electronics Engineers Inc.
2013/01 Delayed feedback control for linear time-varying periodic systems in act-and-wait fashion
Mohd Amir Fikri Bin Mohd Taib, Tomohisa Hayakawa, Ahmet Cetinkaya
IFAC Proceedings Volumes (IFAC-PapersOnline) 5巻 1号 11から 16ページまで
2012/12 One-dimensional heat diffusion modelling and random walks on non-uniform grids
Lukas Frannek, Tomohisa Hayakawa, Ahmet Cetinkaya
2012 IEEE 51st IEEE Conference on Decision and Control (CDC) 56巻 5548から 5553ページまで
2012/12 Probability-based feedback gain scheduling for stabilizing switched linear stochastic systems under delayed sampled mode information
Ahmet Cetinkaya, Tomohisa Hayakawa
2012 IEEE 51st IEEE Conference on Decision and Control (CDC) 58巻 6843から 6848ページまで
2012/06 Feedback control of switched stochastic systems using uniformly sampled mode information
A. Cetinkaya, T. Hayakawa
2012 American Control Conference (ACC) 30巻 3778から 3783ページまで
2012/01 Stabilization of switched linear stochastic systems under delayed discrete mode observations
Ahmet Cetinkaya, Tomohisa Hayakawa
Proc. 20th International Symposium on Mathematical Theory of Networks and Systems
2011/12 Stabilization of switched linear stochastic dynamical systems under limited mode information
Ahmet Cetinkaya, Tomohisa Hayakawa
IEEE Conference on Decision and Control and European Control Conference 42巻 8032から 8037ページまで
2011/06 Stability of switched stochastic dynamical systems driven by brownian motion and Markov modulated compound Poisson process
Ahmet Cetinkaya, Tomohisa Hayakawa
Proceedings of the 2011 American Control Conference 42巻 1458から 1463ページまで
2010/12 Stability and stabilization of switching stochastic differential equations subject to probabilistic state jumps
Ahmet Cetinkaya, Kenji Kashima, Tomohisa Hayakawa
49th IEEE Conference on Decision and Control (CDC) 42巻 2378から 2383ページまで
2010/06 Stability of stochastic systems with probabilistic mode switchings and state jumps
A Cetinkaya, K Kashima, T Hayakawa
Proceedings of the 2010 American Control Conference 4046から 4051ページまで
2007/01 Regular expression generation through grammatical evolution
Ahmet Cetinkaya
Proc. 2007 GECCO Genetic and Evolutionary Computation Conference Undergraduate Workshop Program 2643から