Imagen de Portada

Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Tang, Valdemar, Gomes, Claudio, Lucani, Daniel
Formato:	Preprint
Publicado:	2024
Materias:	Systems and Control Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
por: Hafez, Ahmad, et al.
Publicado: (2024)

Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
por: Engelaar, Maico H. W., et al.
Publicado: (2024)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
por: Hadjiloizou, Loizos, et al.
Publicado: (2024)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
por: Kapoor, Parv, et al.
Publicado: (2024)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
por: Zhao, Yiqi, et al.
Publicado: (2025)

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
por: Kochdumper, Niklas, et al.
Publicado: (2023)

Quantitative Monitoring of Signal First-Order Logic
por: Chalupa, Marek, et al.
Publicado: (2026)

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
por: Ramirez, Miquel, et al.
Publicado: (2024)

Executing Discrete/Continuous Declarative Process Specifications via Complex Event Processing
por: Schönig, Stefan, et al.
Publicado: (2025)

On Propositional Dynamic Logic and Concurrency
por: Acclavio, Matteo, et al.
Publicado: (2024)

Intuitionistic Propositional Logic in Lean
por: Trufaş, Dafina
Publicado: (2024)

Propositional Logics for the Lawvere Quantale
por: Bacci, Giorgio, et al.
Publicado: (2023)

Some General Completeness Results for Propositionally Quantified Modal Logics
por: Ding, Yifeng, et al.
Publicado: (2024)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
por: Lyon, Tim S.
Publicado: (2024)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
por: Gheorghiu, Alexander V., et al.
Publicado: (2025)

Polynomial Logical Zonotope: A Set Representation for Reachability Analysis of Logical Systems
por: Alanwar, Amr, et al.
Publicado: (2023)

Fast Robust Monitoring for Signal Temporal Logic with Value Freezing Operators (STL*)
por: Ghorbel, Bassem, et al.
Publicado: (2024)

Stochastic Omega-Regular Verification and Control with Supermartingales
por: Abate, Alessandro, et al.
Publicado: (2024)

Strategy Templates for Almost-Sure and Positive Winning of Stochastic Parity Games towards Permissive and Resilient Control
por: Phalakarn, Kittiphon, et al.
Publicado: (2024)

Efficient Discovery of Actual Causality using Abstraction-Refinement
por: Rafieioskouei, Arshia, et al.
Publicado: (2024)

Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
por: Incer, Inigo
Publicado: (2024)

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
por: Mathiesen, Frederik Baymler, et al.
Publicado: (2024)

Quantitative Supermartingale Certificates
por: Abate, Alessandro, et al.
Publicado: (2025)

Context-Aided Variable Elimination for Requirement Engineering
por: Incer, Inigo, et al.
Publicado: (2023)

ARCH-COMP25 Category Report: Stochastic Models
por: Abate, Alessandro, et al.
Publicado: (2025)

Learning Robust Policies for Uncertain Parametric Markov Decision Processes
por: Rickard, Luke, et al.
Publicado: (2023)

CESAR: Control Envelope Synthesis via Angelic Refinements
por: Kabra, Aditi, et al.
Publicado: (2023)

Solvability of Approximate Reach-Avoid Games
por: Gleirscher, Mario
Publicado: (2025)

Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version)
por: Hsieh, Chiao, et al.
Publicado: (2025)

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

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
por: Schön, Oliver, et al.
Publicado: (2023)

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
por: Incer, Inigo, et al.
Publicado: (2023)

Supermartingale Certificates for Quantitative Omega-regular Verification and Control
por: Henzinger, Thomas A., et al.
Publicado: (2025)

A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
por: Graebener, Josefine B., et al.
Publicado: (2025)

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

A formal specification of the desired software behaviour of the Princess Marijke lock complex
por: Groote, Jan Friso, et al.
Publicado: (2025)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
por: Gu, Chao, et al.
Publicado: (2020)

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

Inferentialist Resource Semantics
por: Gheorghiu, Alexander V., et al.
Publicado: (2024)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
por: Gheorghiu, Alexander V., et al.
Publicado: (2022)