Governing AI safety through independent audits
G Falco, B Shneiderman, J Badger, R Carrier… - Nature Machine …, 2021 - nature.com
Highly automated systems are becoming omnipresent. They range in function from self-
driving vehicles to advanced medical diagnostics and afford many benefits. However, there …
driving vehicles to advanced medical diagnostics and afford many benefits. However, there …
[HTML][HTML] Comprehensive overview of power system flexibility during the scenario of high penetration of renewable energy in utility grid
Increased deployment of variable renewable energy (VRE) has posed significant challenges
to ensure reliable power system operations. As VRE penetration increases beyond 80%, the …
to ensure reliable power system operations. As VRE penetration increases beyond 80%, the …
The future of risk assessment
E Zio - Reliability Engineering & System Safety, 2018 - Elsevier
Risk assessment must evolve for addressing the existing and future challenges, and
considering the new systems and innovations that have already arrived in our lives and that …
considering the new systems and innovations that have already arrived in our lives and that …
Toward verified artificial intelligence
Toward verified artificial intelligence Page 1 46 COMMUNICATIONS OF THE ACM | JULY
2022 | VOL. 65 | NO. 7 contributed articles ILL US TRA TION B Y PETER CRO W THER A …
2022 | VOL. 65 | NO. 7 contributed articles ILL US TRA TION B Y PETER CRO W THER A …
Online verification of automated road vehicles using reachability analysis
An approach for formally verifying the safety of automated vehicles is proposed. Due to the
uniqueness of each traffic situation, we verify safety online, ie, during the operation of the …
uniqueness of each traffic situation, we verify safety online, ie, during the operation of the …
[PDF][PDF] Cyber-physical systems and internet of things
This document focuses on the meanings of the phrases “cyber-physical systems”(CPS) and
“Internet of Things”(IoT), and on the relationship between them. The purpose is to promote a …
“Internet of Things”(IoT), and on the relationship between them. The purpose is to promote a …
[图书][B] Verification and control of hybrid systems: a symbolic approach
P Tabuada - 2009 - books.google.com
Hybrid systems describe the interaction of software, described by finite models such as finite-
state machines, with the physical world, described by infinite models such as differential …
state machines, with the physical world, described by infinite models such as differential …
Safety verification of hybrid systems using barrier certificates
S Prajna, A Jadbabaie - … Workshop on Hybrid Systems: Computation and …, 2004 - Springer
This paper presents a novel methodology for safety verification of hybrid systems. For
proving that all trajectories of a hybrid system do not enter an unsafe region, the proposed …
proving that all trajectories of a hybrid system do not enter an unsafe region, the proposed …
Cooperative collision avoidance at intersections: Algorithms and experiments
MR Hafner, D Cunningham, L Caminiti… - IEEE Transactions …, 2013 - ieeexplore.ieee.org
In this paper, we leverage vehicle-to-vehicle (V2V) communication technology to implement
computationally efficient decentralized algorithms for two-vehicle cooperative collision …
computationally efficient decentralized algorithms for two-vehicle cooperative collision …
Data-driven safety filters: Hamilton-jacobi reachability, control barrier functions, and predictive methods for uncertain systems
Today's control engineering problems exhibit an unprecedented complexity, with examples
including the reliable integration of renewable energy sources into power grids, safe …
including the reliable integration of renewable energy sources into power grids, safe …