Buchumschlag

An STREL-based Formulation of Spatial Resilience in Cyber-Physical Systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhang, Zeyu, Chen, Hongkai, Paoletti, Nicola, Lin, Shan, Smolka, Scott A.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Cumulative-Time Signal Temporal Logic
von: Chen, Hongkai, et al.
Veröffentlicht: (2025)

Causality for Cyber-Physical Systems
von: Araujo, Hugo, et al.
Veröffentlicht: (2025)

A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
von: Graebener, Josefine B., et al.
Veröffentlicht: (2025)

Early Validation of High-level Requirements on Cyber-Physical Systems
von: Vašíček, Ondřej
Veröffentlicht: (2025)

Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL
von: Munive, Jonathan Julián Huerta y, et al.
Veröffentlicht: (2024)

Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata
von: Balakrishnan, Anand, et al.
Veröffentlicht: (2025)

Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations
von: Zhang, Changjian, et al.
Veröffentlicht: (2023)

Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems
von: Zhang, Changjian, et al.
Veröffentlicht: (2024)

Holographic Projection and Cyber Attack Surface: A Physical Analogy for Digital Security
von: Fernandes, Ricardo Queiroz de Araujo, et al.
Veröffentlicht: (2025)

Technical Report: Time-Bounded Resilience
von: Kirigin, Tajana Ban, et al.
Veröffentlicht: (2024)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
von: Lyon, Tim S., et al.
Veröffentlicht: (2023)

Measuring Robustness in Cyber-Physical Systems under Sensor Attacks
von: Xiang, Jian, et al.
Veröffentlicht: (2024)

Bilateral base-extension semantics
von: Barroso-Nascimento, Victor, et al.
Veröffentlicht: (2025)

Paraconsistent Existential Graphs Gamma Peirce System
von: Sierra-Aristizabal, Manuel
Veröffentlicht: (2023)

Cut-free Deductive System for Continuous Intuitionistic Logic
von: Geoffroy, Guillaume
Veröffentlicht: (2025)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
von: Almeida, Rodrigo Nicolau
Veröffentlicht: (2023)

On the Cut Elimination of Weak Intuitionistic Tense Logic
von: Wang, Yiheng, et al.
Veröffentlicht: (2024)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
von: Pacheco, Leonardo
Veröffentlicht: (2026)

Refutation calculi for lattice-based logics: from display to tableaux
von: De Domenico, Andrea, et al.
Veröffentlicht: (2026)

Monitoring in the Dark: Privacy-Preserving Runtime Verification of Cyber-Physical Systems
von: Koll, Charles, et al.
Veröffentlicht: (2025)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
von: Lyon, Tim S.
Veröffentlicht: (2024)

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
von: Bilotta, Antonella
Veröffentlicht: (2025)

Invariant Checking for SMT-based Systems with Quantifiers
von: Redondi, Gianluca, et al.
Veröffentlicht: (2024)

A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
von: d'Aragona, Antonio Piccolomini
Veröffentlicht: (2025)

Three-Dimensional Affine Spatial Logics
von: Trybus, Adam
Veröffentlicht: (2026)

A Spatial Logic for Simplicial Models
von: Loreti, Michele, et al.
Veröffentlicht: (2021)

Paraconsistent Constructive Modal Logic
von: Gao, Han, et al.
Veröffentlicht: (2025)

A Bi-nested Calculus for Intuitionistic K: Proofs and Countermodels
von: Gao, Han, et al.
Veröffentlicht: (2025)

Dyadic obligations: proofs and countermodels via hypersequents
von: Ciabattoni, Agata, et al.
Veröffentlicht: (2024)

A General Automata Model for First-Order Temporal Logics (Extended Version)
von: Geatti, Luca, et al.
Veröffentlicht: (2024)

Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements
von: Dewes, Rafael, et al.
Veröffentlicht: (2024)

Completions of Kleene's second model
von: Terwijn, Sebastiaan A.
Veröffentlicht: (2023)

Fixed Point Theorems in Computability Theory
von: Terwijn, Sebastiaan A.
Veröffentlicht: (2024)

Local Intuitionistic Modal Logics and Their Calculi
von: Balbiani, Philippe, et al.
Veröffentlicht: (2024)

Accurate and Efficient Profile Matching in Knowledge Bases
von: Martinez-Gil, Jorge, et al.
Veröffentlicht: (2017)

Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions
von: Saxena, Ishan, et al.
Veröffentlicht: (2025)

Countability constraints in order-theoretic approaches to computability
von: Hack, Pedro, et al.
Veröffentlicht: (2022)

Structural Analysis of Boolean Equation Systems
von: Keiren, Jeroen, et al.
Veröffentlicht: (2010)

On A Parameterized Theory of Dynamic Logic for Operationally-based Programs
von: Zhang, Yuanrui
Veröffentlicht: (2026)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)