Chong, Stephen; Lanotte, Ruggero; Merro, Massimo; Tini, Simone; Xiang, Jian Quantitative robustness analysis of sensor attacks on cyber-physical systems. (English) Zbl 07807961 Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 20, 12 p. (2023). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{S. Chong} et al., in: Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9--12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 20, 12 p. (2023; Zbl 07807961) Full Text: DOI
Neider, Daniel; Weinert, Alexander; Zimmermann, Martin Robust, expressive, and quantitative linear temporal logics: pick any two for free. (English) Zbl 07538307 Inf. Comput. 285, Part B, Article ID 104810, 23 p. (2022). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{D. Neider} et al., Inf. Comput. 285, Part B, Article ID 104810, 23 p. (2022; Zbl 07538307) Full Text: DOI Link
Girard, Antoine; Eqtami, Alina Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications. (English) Zbl 1461.93148 Automatica 127, Article ID 109543, 12 p. (2021). MSC: 93B50 93B03 90C39 PDFBibTeX XMLCite \textit{A. Girard} and \textit{A. Eqtami}, Automatica 127, Article ID 109543, 12 p. (2021; Zbl 1461.93148) Full Text: DOI HAL
Neider, Daniel; Totzke, Patrick; Zimmermann, Martin Optimally resilient strategies in pushdown safety games. (English) Zbl 07559445 Esparza, Javier (ed.) et al., 45th international symposium on mathematical foundations of computer science, MFCS 2020, August 25–26, 2020, Prague, Czech Republic. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 170, Article 74, 15 p. (2020). MSC: 68Qxx PDFBibTeX XMLCite \textit{D. Neider} et al., LIPIcs -- Leibniz Int. Proc. Inform. 170, Article 74, 15 p. (2020; Zbl 07559445) Full Text: DOI arXiv
Neider, Daniel; Weinert, Alexander; Zimmermann, Martin Synthesizing optimally resilient controllers. (English) Zbl 1435.68066 Acta Inf. 57, No. 1-2, 195-221 (2020). MSC: 68N30 68Q60 91A80 PDFBibTeX XMLCite \textit{D. Neider} et al., Acta Inf. 57, No. 1--2, 195--221 (2020; Zbl 1435.68066) Full Text: DOI arXiv
Neider, Daniel; Weinert, Alexander; Zimmermann, Martin Robust, expressive, and quantitative linear temporal logics: pick any two for free. (English) Zbl 1487.68159 Leroux, Jérôme (ed.) et al., Proceedings of the tenth international symposium on games, automata, logics, and formal verification, GandALF 2019, Bordeaux, France, September 2–3, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 305, 1-16 (2019). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{D. Neider} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 305, 1--16 (2019; Zbl 1487.68159) Full Text: arXiv Link
Sauder, Thomas; Marelli, Stefano; Sørensen, Asgeir J. Probabilistic robust design of control systems for high-fidelity cyber-physical testing. (English) Zbl 1415.93094 Automatica 101, 111-119 (2019). MSC: 93B35 93B40 93B51 PDFBibTeX XMLCite \textit{T. Sauder} et al., Automatica 101, 111--119 (2019; Zbl 1415.93094) Full Text: DOI
Neider, Daniel; Weinert, Alexander; Zimmermann, Martin Synthesizing optimally resilient controllers. (English) Zbl 1528.68085 Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 34, 17 p. (2018). MSC: 68N30 68Q60 91A80 PDFBibTeX XMLCite \textit{D. Neider} et al., LIPIcs -- Leibniz Int. Proc. Inform. 119, Article 34, 17 p. (2018; Zbl 1528.68085) Full Text: DOI
Mizoguchi, Masashi; Ushio, Toshimitsu Deadlock-free output feedback controller design based on approximately abstracted observers. (English) Zbl 1408.93062 Nonlinear Anal., Hybrid Syst. 30, 58-71 (2018). MSC: 93B52 93B50 93A30 93B07 PDFBibTeX XMLCite \textit{M. Mizoguchi} and \textit{T. Ushio}, Nonlinear Anal., Hybrid Syst. 30, 58--71 (2018; Zbl 1408.93062) Full Text: DOI
Wang, Dong; Wang, Zidong; Shen, Bo; Alsaadi, Fuad E.; Hayat, Tasawar Recent advances on filtering and control for cyber-physical systems under security and resource constraints. (English) Zbl 1347.93109 J. Franklin Inst. 353, No. 11, 2451-2466 (2016). MSC: 93B35 68M15 94A62 93C83 PDFBibTeX XMLCite \textit{D. Wang} et al., J. Franklin Inst. 353, No. 11, 2451--2466 (2016; Zbl 1347.93109) Full Text: DOI