Copertina

Code and Data for: Safety Verification of Real-Time Control Systems with Flexible Timing

Fuente: Zenodo

Salvato in:

Dettagli Bibliografici
Autore principale:	Gaukler, Maximilian
Natura:	Recurso digital
Lingua:	inglese
Pubblicazione:	Zenodo 2023
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Safety Verification of Real-Time Control Systems with Flexible Timing
di: Gaukler, Maximilian
Pubblicazione: (2025)

Motion-to-Response Content Generation via Multi-Agent AI System with Real-Time Safety Verification
di: Lee, HyeYoung
Pubblicazione: (2026)

Real-Time Verification of Integrity Policies for Distributed Systems
di: Ernesto Buelna
Pubblicazione: (2013)

Verification of Neural Network Control Systems in Continuous Time
di: ArjomandBigdeli, Ali, et al.
Pubblicazione: (2024)

Towards the Coordination and Verification of Heterogeneous Systems with Data and Time
di: Kräuter, Tim, et al.
Pubblicazione: (2025)

Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays
di: Fränzle, Martin, et al.
Pubblicazione: (2024)

Verification of Quantitative Temporal Properties in RealTime-DEVS
di: González, Ariel, et al.
Pubblicazione: (2024)

IOT Based Food Safety System Real Time Monitoring for Optimal Storage
di: Prof. Amol Patil, et al.
Pubblicazione: (2026)

Fast and Faithful: Real-Time Verification for Long-Document Retrieval-Augmented Generation Systems
di: Liu, Xunzhuo, et al.
Pubblicazione: (2026)

Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
di: Kanovich, Max, et al.
Pubblicazione: (2016)

FRAP: A Flexible Resource Accessing Protocol for Multiprocessor Real-Time Systems
di: Zhao, Shuai, et al.
Pubblicazione: (2024)

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

Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems
di: Zhi, Dapeng, et al.
Pubblicazione: (2024)

Safety Controller Synthesis for Stochastic Polynomial Time-Delayed Systems
di: Akbarzadeh, Omid, et al.
Pubblicazione: (2026)

Real‐Time Decoding For Surface Code
di: Jia‐Ning Li, et al.
Pubblicazione: (2026)

GeoAttend: An Dynamic QR Code-Based Attendance System with Real-Time Geofencing, Live Analytics Dashboard, and Automated Exam Eligibility Verification
di: Tejas B R
Pubblicazione: (2026)

Real-Time Verification of Embodied Reasoning for Generative Skill Acquisition
di: Yue, Bo, et al.
Pubblicazione: (2025)

Digital Twin for Real-Time Security Assessment and Flexibility Activation in the Bornholm Distribution System
di: Sundhu, Anosh Arshad, et al.
Pubblicazione: (2026)

Verification and Synthesis of Discrete-Time Control Barrier Functions
di: Shakhesi, Erfan, et al.
Pubblicazione: (2025)

gatekeeper: Online Safety Verification and Control for Nonlinear Systems in Dynamic Environments
di: Agrawal, Devansh R, et al.
Pubblicazione: (2022)

Case Study: Runtime Safety Verification of Neural Network Controlled System
di: Yang, Frank, et al.
Pubblicazione: (2024)

Investigating Timing-Based Information Leakage in Data Flow-Driven Real-Time Systems
di: Babar, Mohammad Fakhruddin, et al.
Pubblicazione: (2025)

The Surprising Universality of LLM Outputs: A Real-Time Verification Primitive
di: Bogdan, Alex, et al.
Pubblicazione: (2026)

Learning-based Prescribed-Time Safety for Control of Unknown Systems with Control Barrier Functions
di: Huang, Tzu-Yuan, et al.
Pubblicazione: (2024)

Feedback Scheduling of Real-Time Control Systems with Resource Constraints
di: Feng Xia
Pubblicazione: (2007)

The Unknown Present: Why Governance Systems Struggle to Evidence Operational Safety in Real Time.
di: Mincher, Paul
Pubblicazione: (2026)

Real-Time Coordination of Integrated Transmission and Distribution Systems: Flexibility Modeling and Distributed NMPC Scheduling
di: Dai, Xinliang, et al.
Pubblicazione: (2024)

A Musicolinguistic Approach to Data Sonification in Real-Time Immersive Systems
di: Gülay, Saim
Pubblicazione: (2025)

Real-Time Adaptive Safety-Critical Control with Gaussian Processes in High-Order Uncertain Models
di: Zhang, Yu, et al.
Pubblicazione: (2024)

Real Time Safety of Fixed-wing UAVs using Collision Cone Control Barrier Functions
di: Agarwal, Aryan, et al.
Pubblicazione: (2024)

A Data-Driven Krasovskii-Based Approach for Safety Controller Design of Time-Delayed Uncertain Polynomial Systems
di: Akbarzadeh, Omid, et al.
Pubblicazione: (2026)

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems
di: Kirchner, Sven, et al.
Pubblicazione: (2025)

Distributed Safe Control Design and Probabilistic Safety Verification for Multi-Agent Systems
di: Wang, Han, et al.
Pubblicazione: (2023)

Data‐Based Estimation of Critical Time Steps for Explicit Time Integration
di: Tobias Willmann, et al.
Pubblicazione: (2025)

Real Time Fatigue Crack Growth Monitoring Using High Precision Control and Data Acquisition Systems
di: Hambardzumyan, Arev, et al.
Pubblicazione: (2025)

Robust Safety-Critical Control for Systems with Sporadic Measurements and Dwell Time Constraints
di: Breeden, Joseph, et al.
Pubblicazione: (2024)

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
di: Mestres, Pol, et al.
Pubblicazione: (2025)

Chapter Enhancing the Realism of Virtual Construction Safety Training: Integration of Real-Time Location Systems for Real-World Hazard Simulations
di: Speiser, Kilian, et al.
Pubblicazione: (2024)

Disentangled Safety Adapters Enable Efficient Guardrails and Flexible Inference-Time Alignment
di: Krishna, Kundan, et al.
Pubblicazione: (2025)

Real-Time Trust Verification for Safe Agentic Actions using TrustBench
di: Sharma, Tavishi, et al.
Pubblicazione: (2026)