Image de couverture de livre

Enhancing sensor attack detection in supervisory control systems modeled by probabilistic automata

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Fahim, Parastou, Oliveira, Samuel, Meira-Góes, Rômulo
Format:	Preprint
Publié:	2025
Sujets:	Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
par: Kapoor, Parv, et autres
Publié: (2024)

Data-driven modeling and supervisory control system optimization for plug-in hybrid electric vehicles
par: Zhang, Hao, et autres
Publié: (2024)

Robust Recovery and Control of Cyber-physical Discrete Event Systems under Actuator Attacks
par: Oliveira, Samuel, et autres
Publié: (2025)

Lasso-based state estimation for cyber-physical systems under sensor attacks
par: Cerone, Vito, et autres
Publié: (2024)

Resilient control of networked switched systems subject to deception attack and DoS attack
par: Zhao, Rui, et autres
Publié: (2024)

A probabilistic scheduling algorithm for networked control systems
par: Singh, Meghna, et autres
Publié: (2022)

Residual-based attack detection in cyber-physical systems: an optimal transport viewpoint
par: Das, Souvik, et autres
Publié: (2026)

Stealthy bias injection attack detection based on Kullback-Leibler divergence in stochastic linear systems
par: Dong, Jingwei, et autres
Publié: (2026)

A probabilistic algorithm for scheduling networked control systems under data losses
par: Dasgupta, Anubhab, et autres
Publié: (2023)

Event triggered optimal formation control for nonlinear multi-agent systems under Denial-of-Service attacks
par: Zhang, Jianqiang, et autres
Publié: (2025)

General control of linear cellular automata
par: Bagnoli, Franco, et autres
Publié: (2026)

Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations
par: Zhang, Changjian, et autres
Publié: (2023)

Learning the dynamics of nonlinear systems with regional stability guarantees through linear matrix inequality constraints
par: Frank, Daniel, et autres
Publié: (2026)

Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems
par: Zhang, Changjian, et autres
Publié: (2024)

On the (non-)resilience of encrypted controllers to covert attacks
par: Binfet, Philipp, et autres
Publié: (2026)

Boundedness of solutions in feedback systems with antithetic controllers
par: Wafi, Moh Kamalul, et autres
Publié: (2026)

Artificial-reference tracking MPC with probabilistically validated performance on industrial embedded systems
par: Gracia, Victor, et autres
Publié: (2025)

Enhancing power grid resilience to cyber-physical attacks using distributed retail electricity markets
par: Nair, Vineet Jagadeesan, et autres
Publié: (2023)

Optimal-coupling-observer AV motion control securing comfort in the presence of cyber attacks
par: Tajdari, Farzam, et autres
Publié: (2025)

Analysis, detection and control of secure and safe cyber-physical control systems in a unified framework
par: Li, Linlin, et autres
Publié: (2026)

zkSTAR: A zero knowledge system for time series attack detection enforcing regulatory compliance in critical infrastructure networks
par: Ramanan, Paritosh, et autres
Publié: (2025)

Towards provable probabilistic safety for scalable embodied AI systems
par: He, Linxuan, et autres
Publié: (2025)

Minimum observability of probabilistic Boolean networks
par: Xu, Jiayi, et autres
Publié: (2024)

Discrete fully probabilistic design: towards a control pipeline for the synthesis of policies from examples
par: Ferrentino, Enrico, et autres
Publié: (2021)

Data-driven control-oriented modelling for MPC-based control of urban drainage systems
par: Romero-Ben, Luis, et autres
Publié: (2025)

Nonlinear control and stability analysis of a unified Tethered UAV-winder system
par: Folorunsho, Samuel, et autres
Publié: (2024)

Optimization-based motion primitive automata for autonomous driving
par: Pedrosa, Matheus V. A., et autres
Publié: (2024)

Set-point control and local stability for flat nonlinear systems using model-following control
par: Willkomm, Julian, et autres
Publié: (2025)

Miniature fluorescence sensor for quantitative detection of brain tumour
par: Ndabakuranye, Jean Pierre, et autres
Publié: (2024)

An overview of systems-theoretic guarantees in data-driven model predictive control
par: Berberich, Julian, et autres
Publié: (2024)

Dynamic modeling and predictive control of a microfluidic system
par: Martinez, Jorge Vicente, et autres
Publié: (2024)

Bridging Abstraction-Based Hierarchical Control and Moment Matching: A Conceptual Unification
par: Niu, Zirui, et autres
Publié: (2025)

What can we learn from signals and systems in a transformer? Insights for probabilistic modeling and inference architecture
par: Chang, Heng-Sheng, et autres
Publié: (2025)

The impact of modeling approaches on controlling safety-critical, highly perturbed systems: the case for data-driven models
par: Łaszkiewicz, Piotr, et autres
Publié: (2025)

Quantized distributed Nash equilibrium seeking under DoS attacks
par: Feng, Shuai, et autres
Publié: (2023)

Region-free explicit model predictive control for linear systems on Hilbert spaces
par: Kurula, Mikael, et autres
Publié: (2022)

Robust contraction-based model predictive control for nonlinear systems
par: Polver, Marco, et autres
Publié: (2025)

Resilience assessment framework for cyber-physical distribution power system based on coordinated cyber-physical attacks under dynamic game
par: Liu, Yulin, et autres
Publié: (2025)

The impact of sensor placement on graph-neural-network-based leakage detection
par: van Gemert, J. J. H., et autres
Publié: (2026)

Efficient model predictive control for nonlinear systems modelled by deep neural networks
par: Lan, Jianglin
Publié: (2024)