Search Results for author:
Found 3 papers, 1 papers with code
Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture
Increased complexity in cyber-physical systems calls for modular system design methodologies that guarantee correct and reliable behavior, both in normal operations and in the presence of failures.
Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools
Modern engineering systems include many components of different types and functions.
An Iteratively Optimized Patch Label Inference Network for Automatic Pavement Distress Detection
We present a novel deep learning framework named the Iteratively Optimized Patch Label Inference Network (IOPLIN) for automatically detecting various pavement distresses that are not solely limited to specific ones, such as cracks and potholes.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
