Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 17 of 17 for “"Safety Verification"”.
-
Safety verification for automated vehicle maneuvers
Thesis (S.B. and M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1998.
-
Contract-based safety verification for autonomous driving
… hinges upon providing rigorous performance and safety guarantees. This thesis considers the problem of establishing and verifying the safety of autonomous systems. To this end, we present a novel framework for the synthesis of safety constraints for autonomous systems, so-called safety …
-
Uncertainty quantification for safety verification applications in nuclear power plants
… an increasing interest in computational reactor safety analysis to systematically replace the conservative calculations by best estimate calculations augmented by quantitative uncertainty analysis methods. This has been necessitated by recent regulatory requirements that have permitted the use of …
-
Safety verification and control for collision avoidance at road intersections
… to prevent the collision. This problem is called safety verification problem which is known to be computationally intractable for general dynamical systems. Our approach to solving the safety verification problem is to translate it to a computationally more tractable scheduling problem. When …
-
Real time safety verification in the process industry using fault semantic networks (FSN)
… monitoring of process risks and real time safety verification. It is challenging to both dynamically and instantaneously estimate the risks for all faults and deviations. An FSN is introduced in this thesis to systematically and continuously estimate risks for all possible fault propagation …
-
Learning in dynamical systems with guarantees: from system identification to safety verification and fast adaptation
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-10-20 without embargo terms
-
Automatic simulation-driven reachability using matrix measures
Simulation-driven verification is a promising approach that provides formal safety guarantees for otherwise intractable nonlinear and hybrid system models. A key step in simulation-driven algorithms is to compute the reach set over-approximations from a set of initial states through numerical …
-
On simulation based verification of nonlinear nondeterministic hybrid systems
Automatic safety verification of hybrid systems typically involves computing precise reach sets of such systems. This computation limits scalability of verification as for many model classes it scales exponentially with the number of continuous variables. First we propose a simulation-based …
-
Robust online motion planning with reachable sets
… planning due to the computational cost of safety verification. Here we augment the traditional trajectory library approach by designing locally stabilizing controllers for each nominal trajectory in the library and providing guarantees on the resulting closed loop systems. We leverage …
-
Breaking things so you don’t have to: risk assessment and failure prediction for cyber-physical AI
Before autonomous systems can be deployed in safety-critical environments, we must be able to verify that they will perform safely, ideally without the risk and expense of real-world testing. A wide variety of formal methods and simulation-driven techniques have been developed to solve this …
-
Reachability analysis and deterministic global optimization of differential-algebraic systems
… economic optimization, control system design and safety analysis. In such applications, one is primarily interested in the behavior of the model solution with respect variations in the model inputs or uncertainties in the model itself. This thesis addresses two computational problems of general …
-
Statistical learning for cyber physical system
… and digital technologies. Ensuring the safety and reliability of these interconnected systems is vital for mitigating risks and enhancing overall system safety. In recent decades, the transportation domain has seen significant adoption of cyber-physical systems, such as automated …
-
Compositional bounded reachability using time partitioning and abstraction
Automatic verification of cyber-physical systems (CPS) typically involves computing the reachable set of states of such systems. This computation is known to be exponential in the number of continuous variables. For systems that can be decomposed into separate components with lower dimensionality, …
-
Approximation Based Safety and Stability Verification of Hybrid Systems
… issue, and this thesis concerns automatic verification of their models to improve the confidence in these systems. Automatic verification of hybrid systems is an extremely challenging task, owing to the many undecidability results in the literature. Automated verification has been seen to …
-
Dynamic analysis of Cyber-Physical Systems
… fails. The focus of this thesis is on formal verification techniques for cyber-physical systems that prove the absence of errors in a given system. In particular, this thesis focuses on {\em dynamic analysis} techniques that bridge the gap between testing and verification. This thesis uses the …
-
Preserving safety in distributed cyber physical systems with unreliable communication channels
… Additionally, due to their nature, most CPS are safety-critical systems where there are safety invariant that need to be preserved. The big challenge is that communication channels are unreliable meaning that there may not be bounds on message delays. this will pose a threat to the safety of …
-
Protecting critical infrastructure systems using cyber, physical, and socio-technical models
… infrastructure systems by (1) assessing the safety of the system and (2) detecting malicious physical threats on the system by using models that integrate the cyber, physical, and human domains. We support our dissertation statement by applying our contributions to a railway system case …