Buchumschlag

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Foster, Simon, Gleirscher, Mario, Calinescu, Radu
Format:	Preprint
Veröffentlicht:	2020
Schlagworte:	Software Engineering Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern
von: Gleirscher, Mario, et al.
Veröffentlicht: (2017)

Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
von: Gleirscher, Mario, et al.
Veröffentlicht: (2021)

Safety Controller Synthesis for Collaborative Robots
von: Gleirscher, Mario, et al.
Veröffentlicht: (2020)

Risk Structures: Towards Engineering Risk-aware Autonomous Systems
von: Gleirscher, Mario
Veröffentlicht: (2019)

Maintaining driver attentiveness in shared-control autonomous driving
von: Calinescu, Radu, et al.
Veröffentlicht: (2021)

Learning Responsibility-Attributed Adversarial Scenarios for Testing Autonomous Vehicles
von: Xiao, Yizhuo, et al.
Veröffentlicht: (2026)

Towards Using Behavior Trees in Industrial Automation Controllers
von: Sidorenko, Aleksandr, et al.
Veröffentlicht: (2024)

A Theory-driven Interpretation and Elaboration of Verification and Validation
von: Kannan, Hanumanthrao, et al.
Veröffentlicht: (2025)

Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots
von: Gleirscher, Mario, et al.
Veröffentlicht: (2020)

Structural Verification for Reliable EDA Code Generation without Tool-in-the-Loop Debugging
von: Jayasuriya, Dinithi, et al.
Veröffentlicht: (2026)

SHIA: A Direct SysML-Hardware Interface Architecture for Model-Centric Verification
von: Lewis, Charles, et al.
Veröffentlicht: (2026)

Coordinating Stakeholders in the Consideration of Performance Indicators and Respective Interface Requirements for Automated Vehicles
von: Schubert, Richard, et al.
Veröffentlicht: (2026)

Few-Shot Scenario Testing for Autonomous Vehicles Based on Neighborhood Coverage and Similarity
von: Li, Shu, et al.
Veröffentlicht: (2024)

An Industrial Experience Report about Challenges from Continuous Monitoring, Improvement, and Deployment for Autonomous Driving Features
von: Nouri, Ali, et al.
Veröffentlicht: (2024)

PCLA: A Framework for Testing Autonomous Agents in the CARLA Simulator
von: Tehrani, Masoud Jamshidiyan, et al.
Veröffentlicht: (2025)

A Verification Methodology for Safety Assurance of Robotic Autonomous Systems
von: Adam, Mustafa, et al.
Veröffentlicht: (2025)

Engineering a Digital Twin for the Monitoring and Control of Beer Fermentation Sampling
von: Goffi, Pierre-Emmanuel, et al.
Veröffentlicht: (2025)

NanoCockpit: Performance-optimized Application Framework for AI-based Autonomous Nanorobotics
von: Cereda, Elia, et al.
Veröffentlicht: (2026)

Semantic Technologies in Practical Demand Response: An Informational Requirement-based Roadmap
von: Mulayim, Ozan Baris, et al.
Veröffentlicht: (2025)

An Architecture for Remote Container Builds and Artifact Delivery Using a Controller-Light Jenkins CI/CD Pipeline
von: Paul, Kawshik Kumar, et al.
Veröffentlicht: (2025)

ForzaETH Race Stack -- Scaled Autonomous Head-to-Head Racing on Fully Commercial off-the-Shelf Hardware
von: Baumann, Nicolas, et al.
Veröffentlicht: (2024)

Exploring Robot Trajectory Planning -- A Comparative Analysis of Algorithms And Software Implementations in Dynamic Environments
von: Bora, Arunabh
Veröffentlicht: (2024)

SAFLITE: Fuzzing Autonomous Systems via Large Language Models
von: Zhu, Taohong, et al.
Veröffentlicht: (2024)

Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
von: Vázquez, Gricel, et al.
Veröffentlicht: (2026)

A self-adaptive system of systems architecture to enable its ad-hoc scalability: Unmanned Vehicle Fleet -- Mission Control Center Case study
von: Sadik, Ahmed R., et al.
Veröffentlicht: (2024)

Towards Counterfactual Explanation and Assertion Inference for CPS Debugging
von: Ghazal, Zaid, et al.
Veröffentlicht: (2026)

TensorConvolutionPlus: A python package for distribution system flexibility area estimation
von: Chrysostomou, Demetris, et al.
Veröffentlicht: (2025)

Streamlined Airborne Software Development for Large UAVs: From Unified Data Collection to Automated Code Generation
von: Sinitsyn, Viktor, et al.
Veröffentlicht: (2025)

ComplexVCoder: An LLM-Driven Framework for Systematic Generation of Complex Verilog Code
von: Zuo, Jian, et al.
Veröffentlicht: (2025)

Digital requirements engineering with an INCOSE-derived SysML meta-model
von: Wheaton, James S., et al.
Veröffentlicht: (2024)

Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems
von: Deantoni, Julien, et al.
Veröffentlicht: (2024)

A Container-based Approach For Proactive Asset Administration Shell Digital Twins
von: Ellwein, Carsten, et al.
Veröffentlicht: (2025)

A Model-Based Approach to Automated Digital Twin Generation in Manufacturing
von: Alexopoulos, Angelos, et al.
Veröffentlicht: (2025)

The Necessity of a Holistic Safety Evaluation Framework for AI-Based Automation Features
von: Abbaspour, Alireza, et al.
Veröffentlicht: (2026)

Skills Composition Framework for Reconfigurable Cyber-Physical Production Modules
von: Sidorenko, Aleksandr, et al.
Veröffentlicht: (2024)

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis
von: Xu, Kangwei, et al.
Veröffentlicht: (2025)

Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming
von: Mandrioli, Claudio, et al.
Veröffentlicht: (2024)

Exploration of Approaches for Robustness and Safety in a Low Code Open Environment for Factory Automation
von: A., Gustavo Quiros, et al.
Veröffentlicht: (2025)

COOCK project Smart Port 2025 D3.1: "To Twin Or Not To Twin"
von: Paredis, Randy, et al.
Veröffentlicht: (2024)

Automation Configuration in Smart Home Systems: Challenges and Opportunities
von: Anik, Sheik Murad Hassan, et al.
Veröffentlicht: (2024)