Robust Recovery and Control of Cyber-physical Discrete Event Systems under Actuator Attacks
Fuente:
arXiv
Saved in:
| Main Authors: | Oliveira, Samuel, Anbarani, Mostafa Tavakkoli, Beal, Gregory, Kovalenko, Ilya, Teixeira, Marcelo, Leal, André B., Meira-Góes, Rômulo |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Logic-Based Verification of Task Allocation for LLM-Enabled Multi-Agent Manufacturing Systems
by: Lim, Jonghan, et al.
Published: (2026)
by: Lim, Jonghan, et al.
Published: (2026)
Enhancing sensor attack detection in supervisory control systems modeled by probabilistic automata
by: Fahim, Parastou, et al.
Published: (2025)
by: Fahim, Parastou, et al.
Published: (2025)
Coordination Control of Discrete Event Systems under Cyber Attacks
by: Wang, Fei, et al.
Published: (2023)
by: Wang, Fei, et al.
Published: (2023)
Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations
by: Zhang, Changjian, et al.
Published: (2023)
by: Zhang, Changjian, et al.
Published: (2023)
Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
by: Kapoor, Parv, et al.
Published: (2024)
by: Kapoor, Parv, et al.
Published: (2024)
Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems
by: Zhang, Changjian, et al.
Published: (2024)
by: Zhang, Changjian, et al.
Published: (2024)
Data‐Driven Hierarchical Performance Recovery Control for Cyber‐Physical Systems Against Sparse Actuator Attacks
by: Yuanle Dong, et al.
Published: (2025)
by: Yuanle Dong, et al.
Published: (2025)
SILENCIAR, ESCUTAR, CONVIVER, RESISTIR E SONHAR: APRENDIZADOS NA ESCOLA MBYA ARANDU
by: Liz Meira Góes
Published: (2022)
by: Liz Meira Góes
Published: (2022)
Supervisory Control of Discrete Event Systems for Small Language Under Cyber Attacks
by: Wang, Xiaojun, et al.
Published: (2025)
by: Wang, Xiaojun, et al.
Published: (2025)
Resenha do Livro “Atividades aquáticas: um olhar dirigido ao ensino”
by: Rômulo Meira Reis
Published: (2024)
by: Rômulo Meira Reis
Published: (2024)
Measuring Robustness in Cyber-Physical Systems under Sensor Attacks
by: Xiang, Jian, et al.
Published: (2024)
by: Xiang, Jian, et al.
Published: (2024)
Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep and Exploratory Works
by: Lu, Pengyuan, et al.
Published: (2024)
by: Lu, Pengyuan, et al.
Published: (2024)
Riqueza, composição e distribuição espacial da comunidade de aves em um fragmento florestal urbano em Maringá, Norte do Estado do Paraná, Brasil
by: André Beal Galina
Published: (2006)
by: André Beal Galina
Published: (2006)
Event‐Triggered Adaptive Finite‐Time Security Control for Nonlinear Time‐Delay Cyber‐Physical Systems Under Sensor and Actuator Attacks
by: Zhaoxu Yu, et al.
Published: (2025)
by: Zhaoxu Yu, et al.
Published: (2025)
A Large Language Model-Enabled Control Architecture for Dynamic Resource Capability Exploration in Multi-Agent Manufacturing Systems
by: Lim, Jonghan, et al.
Published: (2025)
by: Lim, Jonghan, et al.
Published: (2025)
Dynamic Task Adaptation for Multi-Robot Manufacturing Systems with Large Language Models
by: Lim, Jonghan, et al.
Published: (2025)
by: Lim, Jonghan, et al.
Published: (2025)
Dynamic Event‐Based Resilient Filtering for Discrete‐Time Singular Markov Jump Cpss Against Hybrid Cyber‐Attacks
by: Suzhen Wang, et al.
Published: (2025)
by: Suzhen Wang, et al.
Published: (2025)
Secure Control Systems for Autonomous Quadrotors against Cyber-Attacks
by: Belkadi, Samuel
Published: (2024)
by: Belkadi, Samuel
Published: (2024)
Geometry of the form and designs of Ilkhani tombs’ tower of Azerbaijan (Case study: Qarabagh Bardaeh tomb’ tower)
by: Behrouz Tavakkoli
Published: (2020)
by: Behrouz Tavakkoli
Published: (2020)
An Early Record of Photochemotherapy for Vitiligo by Rhazes (865–925 ce ) in Liber Continens
by: Alireza Tavakkoli
Published: (2025)
by: Alireza Tavakkoli
Published: (2025)
Constrained LTL Specification Learning from Examples
by: Zhang, Changjian, et al.
Published: (2024)
by: Zhang, Changjian, et al.
Published: (2024)
Adversarial Attacks and Defenses in Fault Detection and Diagnosis: A Comprehensive Benchmark on the Tennessee Eastman Process
by: Pozdnyakov, Vitaliy, et al.
Published: (2024)
by: Pozdnyakov, Vitaliy, et al.
Published: (2024)
Empreendedorismo feminino e os desafios enfrentados pelas empreendedoras para conciliar os conflitos trabalho e família: estudo de casos múltiplos em agências de viagens
by: Rivanda Meira Teixeira
Published: (2016)
by: Rivanda Meira Teixeira
Published: (2016)
DESEMPENHO E OBSTÁCULOS AO CRESCIMENTO DE PEQUENOS NEGÓCIOS HOTELEIROS EM CURITIBA
by: Rivanda Meira Teixeira
Published: (2012)
by: Rivanda Meira Teixeira
Published: (2012)
SUCESIÓN Y CONFLICTOS EN EMPRESAS FAMILIARES. Estudio de casos múltiples en pequeñas empresas hoteleras
by: Rivanda Meira Teixeira
Published: (2013)
by: Rivanda Meira Teixeira
Published: (2013)
Demanda de mão-de-obra e exigências de qualificação no setor de hotelaria: o caso de Aracaju, Brasil
by: Rivanda Meira Teixeira
Published: (2007)
by: Rivanda Meira Teixeira
Published: (2007)
Use of entrepreuneurial social networks by women in the travel agencies creation process
by: Rivanda Meira Teixeira
Published: (2018)
by: Rivanda Meira Teixeira
Published: (2018)
Desenvolvimento de Empresários em Empresas de Pequeno Porte do Setor Hoteleiro: Processo de Aprendizagem, Competências e Redes de Relacionamento
by: Rivanda Teixeira Meira
Published: (2004)
by: Rivanda Teixeira Meira
Published: (2004)
USO DO MÉTODO DO ESTUDO DE CASO NA PESQUISA EM EMPREENDEDORISMO: ESTUDO COMPARATIVO EM PUBLICAÇÕES INTERNACIONAIS E NACIONAIS
by: Rivanda Meira Teixeira
Published: (2018)
by: Rivanda Meira Teixeira
Published: (2018)
SUCESSÃO E CONFLITOS EM EMPRESAS FAMILIARES: ESTUDO DE CASOS MÚLTIPLOS EM EMPRESAS NA CIDADE DE ARACAJU
by: Rivanda Meira Teixeira
Published: (2013)
by: Rivanda Meira Teixeira
Published: (2013)
REDES DE COOPERAÇÃO EM TURISMO: UM ESTUDO NAS PEQUENAS EMPRESAS HOTELEIRAS EM CURITIBA, PARANÁ
by: Rivanda Meira Teixeira
Published: (2011)
by: Rivanda Meira Teixeira
Published: (2011)
EMPREENDEDORISMO SOCIAL E ECONOMIA SOLIDÁRIA: O CASO DA COOPERATIVA DE AGENTES AUTÔNOMOS DE RECICLAGEM DE ARACAJU (CARE)
by: Rivanda Meira Teixeira
Published: (2010)
by: Rivanda Meira Teixeira
Published: (2010)
Redes de Cooperação em Turismo: Um Estudo nas Pequenas Empresas Hoteleiras em Curitiba, Paraná
by: Rivanda Meira Teixeira
Published: (2012)
by: Rivanda Meira Teixeira
Published: (2012)
Nas tecituras do trabalho operário: a produção têxtil e a vida incerta na Fábrica Carmen em Fernão Velho – AL (anos 1940 – 1960)
by: Marcelo Góes Tavares
Published: (2020)
by: Marcelo Góes Tavares
Published: (2020)
Influência dos diferentes estágios maturacionais na força de jovens praticantes de voleibol
by: Rômulo Vasconcelos Teixeira*
Published: (2019)
by: Rômulo Vasconcelos Teixeira*
Published: (2019)
A Cyber-HIL for Investigating Control Systems in Ship Cyber Physical Systems under Communication Issues and Cyber Attacks
by: Vu, Linh, et al.
Published: (2023)
by: Vu, Linh, et al.
Published: (2023)
Reliable Feature Selection for Adversarially Robust Cyber-Attack Detection
by: Vitorino, João, et al.
Published: (2024)
by: Vitorino, João, et al.
Published: (2024)
Vivências das Mães de Crianças com Câncer: um Estudo Qualitativo
by: Joana de Oliveira Lacerda Beal
Published: (2022)
by: Joana de Oliveira Lacerda Beal
Published: (2022)
A Case Study in Recovery of Drones using Discrete-Event Systems
by: Burns, Liam P., et al.
Published: (2026)
by: Burns, Liam P., et al.
Published: (2026)
Essential Oil Chemical Composition of Mentha mozaffarianii Jamzad Seeds
by: Sara Tavakkoli-Khaledi
Published: (2016)
by: Sara Tavakkoli-Khaledi
Published: (2016)
Similar Items
-
Logic-Based Verification of Task Allocation for LLM-Enabled Multi-Agent Manufacturing Systems
by: Lim, Jonghan, et al.
Published: (2026) -
Enhancing sensor attack detection in supervisory control systems modeled by probabilistic automata
by: Fahim, Parastou, et al.
Published: (2025) -
Coordination Control of Discrete Event Systems under Cyber Attacks
by: Wang, Fei, et al.
Published: (2023) -
Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations
by: Zhang, Changjian, et al.
Published: (2023) -
Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
by: Kapoor, Parv, et al.
Published: (2024)