:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Gaukler, Maximilian
Format:	Recurso digital
Language:	English
Published:	Zenodo 2023
Online Access:	https://doi.org/10.5281/zenodo.6373637
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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