Imagen de Portada

Secure-by-Construction Synthesis for Control Systems

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Zhong, Bingzhuo, Liu, Siyuan, Caccamo, Marco, Zamani, Majid
Formato:	Preprint
Publicado:	2023
Materias:	Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Controlled Invariant Sets for Gaussian Process State Space Models
por: Griffioen, Paul, et al.
Publicado: (2024)

Transfer Learning for Control Systems via Neural Simulation Relations
por: Nadali, Alireza, et al.
Publicado: (2024)

Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach
por: Zhong, Bingzhuo, et al.
Publicado: (2024)

Hierarchical Control for Continuous-time Systems via General Approximate Alternating Simulation Relations
por: Huang, Zhiyuan, et al.
Publicado: (2026)

Communication-Aware Synthesis of Safety Controller for Networked Control Systems
por: Liu, Yihan, et al.
Publicado: (2026)

On Approximate Opacity of Stochastic Control Systems
por: Liu, Siyuan, et al.
Publicado: (2024)

Symbolic Control for Autonomous Docking of Marine Surface Vessels
por: Dietrich, Elizabeth, et al.
Publicado: (2025)

Data-driven Construction of Finite Abstractions for Interconnected Systems: A Compositional Approach
por: Ajeleye, Daniel, et al.
Publicado: (2024)

Trajectory-based Safety of Monotone Systems: Verification and Control Synthesis
por: Galarza-Jimenez, Felipe, et al.
Publicado: (2026)

Lure-and-Reveal: An Exposure Framework for Stealthy Deception Attack in Multi-sensor Uncertain Systems
por: Tian, Meiqi, et al.
Publicado: (2026)

$k$-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems
por: Oumer, Mohammed Adib, et al.
Publicado: (2025)

Security-Aware Planning and Control of Multi-Agent Systems with LTL Tasks
por: Mitsos, Georgios, et al.
Publicado: (2026)

Control Closure Certificates
por: Murali, Vishnu, et al.
Publicado: (2025)

Vector Certificates for $ω$-regular Specifications
por: Oumer, Mohammed Adib, et al.
Publicado: (2026)

Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model
por: Nadali, Alireza, et al.
Publicado: (2024)

Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems
por: Murali, Vishnu, et al.
Publicado: (2023)

Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts
por: Liu, Siyuan, et al.
Publicado: (2023)

Constructive Safety Control
por: Wu, Si, et al.
Publicado: (2024)

Correct-by-Design Control Synthesis of Stochastic Multi-agent Systems: a Robust Tensor-based Solution
por: Wang, Ruohan, et al.
Publicado: (2025)

Monotone Neural Barrier Certificates
por: Jafarpour, Saber, et al.
Publicado: (2025)

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
por: Murali, Vishnu, et al.
Publicado: (2026)

Closure Certificates
por: Murali, Vishnu, et al.
Publicado: (2023)

Observer-based Control of Multi-agent Systems under STL Specifications
por: Zaccherini, Tommaso, et al.
Publicado: (2026)

Robustness Certificates for Neural Networks against Adversarial Attacks
por: Taheri, Sara, et al.
Publicado: (2025)

Compressing Correct-by-Design Synthesis for Stochastic Homogeneous Multi-Agent Systems with Counting LTL
por: Qiu, Xinyuan, et al.
Publicado: (2026)

Control of Multi-agent Systems under STL Specifications based on Prescribed Performance Observers
por: Zaccherini, Tommaso, et al.
Publicado: (2026)

Communication-aware Multi-agent Systems Control Based on $k$-hop Distributed Observers
por: Zaccherini, Tommaso, et al.
Publicado: (2025)

IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems
por: Wooding, Ben, et al.
Publicado: (2024)

Interpolation-Inspired Closure Certificates
por: Oumer, Mohammed Adib, et al.
Publicado: (2026)

Robust Estimation and Control for Heterogeneous Multi-agent Systems Based on Decentralized k-hop Prescribed Performance Observers
por: Zaccherini, Tommaso, et al.
Publicado: (2025)

Bregman Centroid Guided Cross-Entropy Method
por: Gu, Yuliang, et al.
Publicado: (2025)

Decentralized Control of Multi-Agent Systems Under Acyclic Spatio-Temporal Task Dependencies
por: Marchesini, Gregorio, et al.
Publicado: (2024)

Secure Event-Triggered Distributed Kalman Filters for State Estimation over Wireless Sensor Networks
por: Mustafa, Aquib, et al.
Publicado: (2019)

Input-to-state stabilization of linear systems under data-rate constraints
por: Zamani, Mahmoud, et al.
Publicado: (2026)

On the Completeness and Ordering of Path-Complete Barrier Functions
por: Anand, Mahathi, et al.
Publicado: (2025)

Controlling Complex Systems
por: Coraggio, Marco, et al.
Publicado: (2025)

Centrality-Based Security Allocation in Networked Control Systems
por: Nguyen, Anh Tung, et al.
Publicado: (2026)

Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes
por: Oumer, Mohammed Adib, et al.
Publicado: (2025)

Security Allocation in Networked Control Systems under Stealthy Attacks
por: Nguyen, Anh Tung, et al.
Publicado: (2023)

Privacy and Security in Network Controlled Systems via Dynamic Masking
por: Abdalmoaty, Mohamed, et al.
Publicado: (2022)