|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1958 occurrences of 945 keywords
|
|
|
Results
Found 3572 publication records. Showing 3572 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Miaomiao Wang 0002, Zhendong Sun |
Safety-Critical Stabilizing Design of Switched Linear Autonomous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unmanned Syst. ![In: Unmanned Syst. 12(2), pp. 323-330, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Nand Kumar Jyotish, Lalit Kumar Singh, Chiranjeev Kumar, Pooja Singh |
Reliability and Performance Evaluation of Safety-Critical Instrumentation and Control Systems of Nuclear Power Plant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 73(1), pp. 422-437, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Dara Molloy, Patrick Müller, Brian M. Deegan, Darragh Mullins, Jonathan Horgan, Enda Ward, Edward Jones, Alexander Braun, Martin Glavin |
Analysis of the Impact of Lens Blur on Safety-Critical Automotive Object Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 12, pp. 3554-3569, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | J. Eduardo Ferreira Ribeiro, João Gabriel Silva, Ademar Aguiar |
Weaving Agility in Safety-Critical Software Development for Aerospace: From Concerns to Opportunities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 12, pp. 52778-52802, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Christopher Aaron O'Hara, Takehisa Yairi |
Graph-based meta-learning for context-aware sensor management in nonlinear safety-critical environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Robotics ![In: Adv. Robotics 38(6), pp. 368-385, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Yulin Li, Xindong Tang, Kai Chen, Chunxin Zheng, Haichao Liu, Jun Ma 0008 |
Geometry-Aware Safety-Critical Local Reactive Controller for Robot Navigation in Unknown and Cluttered Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 9(4), pp. 3419-3426, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Shuaiming Yan, Lei Shi 0012, Hao Zhang, Shaojie Yao, Yi Zhou 0004 |
Safety-Critical Model-Free Adaptive Iterative Learning Control for Multi-Agent Consensus Using Control Barrier Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. II Express Briefs ![In: IEEE Trans. Circuits Syst. II Express Briefs 71(1), pp. 221-225, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Omais Shafi, Mohammad Khalid Pandit, Amarjeet Saini, Gayathri Ananthanarayanan, Rijurekha Sen |
Repercussions of Using DNN Compilers on Edge GPUs for Real Time and Safety Critical Systems: A Quantitative Audit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM J. Emerg. Technol. Comput. Syst. ![In: ACM J. Emerg. Technol. Comput. Syst. 20(1), pp. 4:1-4:25, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Peide Huang, Wenhao Ding, Jonathan Francis, Bingqing Chen, Ding Zhao |
CaDRE: Controllable and Diverse Generation of Safety-Critical Driving Scenarios using Real-World Trajectories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.13208, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Chenyang Cao, Zichen Yan, Renhao Lu, Junbo Tan, Xueqian Wang 0001 |
Offline Goal-Conditioned Reinforcement Learning for Safety-Critical Tasks with Recovery Policy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.01734, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Ran Wei, Simon Foster 0001, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly |
ACCESS: Assurance Case Centric Engineering of Safety-critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.15236, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Zihan Zhou, Jonathan Booher, Wei Liu, Aleksandr Petiushko, Animesh Garg |
Multi-Constraint Safe RL with Objective Suppression for Safety-Critical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.15650, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Yu Zhang, Long Wen, Xiangtong Yao, Zhenshan Bing, Linghuan Kong, Wei He, Alois Knoll |
Real-Time Adaptive Safety-Critical Control with Gaussian Processes in High-Order Uncertain Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.18946, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Max H. Cohen, Tamás G. Molnár, Aaron D. Ames |
Safety-Critical Control for Autonomous Systems: Control Barrier Functions via Reduced-Order Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.09865, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Mohammad Aali, Jun Liu 0015 |
Learning High-Order Control Barrier Functions for Safety-Critical Control with Gaussian Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.09573, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Joseph Breeden, Luca Zaccarian, Dimitra Panagou |
Robust Safety-Critical Control for Systems with Sporadic Measurements and Dwell Time Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.03663, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Yu Zhang, Guangyao Tian, Long Wen, Xiangtong Yao, Liding Zhang, Zhenshan Bing, Wei He, Alois Knoll |
Online Efficient Safety-Critical Control for Mobile Robots in Unknown Dynamic Multi-Obstacle Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.16449, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Xiang Yin, Bingzhao Gao, Xiao Yu |
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.13075, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Yueqi Xie, Minghong Fang, Renjie Pi, Neil Zhenqiang Gong |
GradSafe: Detecting Unsafe Prompts for LLMs via Safety-Critical Gradient Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.13494, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Ruoxuan Bai, Jingxuan Yang, Weiduo Gong, Yi Zhang, Qiujing Lu, Shuo Feng 0002 |
Accurately Predicting Probabilities of Safety-Critical Rare Events for Intelligent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.13869, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Ehsan Sabouni, H. M. Sabbir Ahmad, Vittorio Giammarino, Christos G. Cassandras, Ioannis Ch. Paschalidis, Wenchao Li 0001 |
Reinforcement Learning-based Receding Horizon Control using Adaptive Control Barrier Functions for Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.17338, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Ying Shuai Quan, Jian Zhou, Erik Frisk, Chung Choo Chung |
Observer-Based Environment Robust Control Barrier Functions for Safety-critical Control with Dynamic Obstacles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.13288, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Matheus F. Reis, A. Pedro Aguiar |
On the Stability of Undesirable Equilibria in the Quadratic Program Framework for Safety-Critical Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.08027, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Maria Lyssenko, Christoph Gladisch, Christian Heinzemann, Matthias Woehrle, Rudolph Triebel |
A Flow-based Credibility Metric for Safety-critical Pedestrian Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.07642, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Skylar X. Wei, Lu Gan, Joel W. Burdick |
A Safety-Critical Framework for UGVs in Complex Environments: A Data-Driven Discrepancy-Aware Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.03215, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | J. Kelly, S. Zafar, L. Heidemann, João-Vitor Zacchi, D. Espinoza, Núria Mata |
Navigating the EU AI Act: A Methodological Approach to Compliance for Safety-critical Products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.16808, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Ming Li, Zhiyong Sun, Patrick J. W. Koelewijn, Siep Weiland |
A Tunable Universal Formula for Safety-Critical Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.06285, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Lei Zheng, Rui Yang, Michael Yu Wang, Jun Ma |
Barrier-Enhanced Homotopic Parallel Trajectory Optimization for Safety-Critical Autonomous Driving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.10441, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Wei-Jer Chang, Francesco Pittaluga, Masayoshi Tomizuka, Wei Zhan, Manmohan Chandraker |
Controllable Safety-Critical Closed-loop Traffic Simulation via Guided Diffusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.00391, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Shuo Liu, Yihui Mao |
Safety-Critical Planning and Control for Dynamic Obstacle Avoidance Using Control Barrier Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.19122, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Philippa Ryan, Zoë Porter, Joanna Al-Qaddoumi, John A. McDermid, Ibrahim Habli |
What's my role? Modelling responsibility for AI-based safety-critical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.09459, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Romeo Valentin |
Towards a Framework for Deep Learning Certification in Safety-Critical Applications Using Inherently Safe Design and Run-Time Error Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.14678, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Jon Pérez-Cerrolaza, Jaume Abella 0001, Markus Borg, Carlo Donzella, Jesús Cerquides, Francisco J. Cazorla, Cristofer Englund, Markus Tauber, George Nikolakopoulos, Jose Luis Flores 0001 |
Artificial Intelligence for Safety-Critical Systems in Industrial and Transportation Domains: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 56(7), pp. 176:1-176:40, July 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Christian Moldovan, Silas Ulrich, Volker Köster, Janis Tiemann, Andreas Lewandowski |
Advancing Digital Twin-Based Collision Avoidance: A Comprehensive Analysis of Communication Networks for Safety-Critical Applications in Industry 4.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 24(5), pp. 1405, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Issam Alnader, Aboubaker Lasebae, Rand Raheem, Gerard Ekembe Ngondi |
A Novel Bio-Inspired Bat Node Scheduling Algorithm for Dependable Safety-Critical Wireless Sensor Network Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 24(6), pp. 1928, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Guangwei Yang, Christie Ridgeway, Andrew Miller, Abhijit Sarkar |
Comprehensive Assessment of Artificial Intelligence Tools for Driver Monitoring and Analyzing Safety Critical Events in Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 24(8), pp. 2478, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Yue Jiang, Zhouhua Peng, Lu Liu 0003, Dan Wang 0001, Fumin Zhang 0001 |
Safety-Critical Cooperative Target Enclosing Control of Autonomous Surface Vehicles Based on Finite-Time Fuzzy Predictors and Input-to-State Safe High-Order Control Barrier Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 32(3), pp. 816-830, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Xiaoxu Diao, Yunfei Zhao, Pavan Kumar Vaddi, Michael C. Pietrykowski, Marat Khafizov, Carol S. Smidts |
Multiple aspects maintenance ontology-based intelligent maintenance optimization framework for safety-critical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Eng. Des. Anal. Manuf. ![In: Artif. Intell. Eng. Des. Anal. Manuf. 38, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Jyoti Shokhanda, Aman Kumar, Utkarsh Pal, Arani Bhattacharya, Soumi Chattopadhyay |
Scheduling of Safety-Critical Tasks on Edge Devices via Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMSNETS ![In: 16th International Conference on COMmunication Systems & NETworkS, COMSNETS 2024, Bengaluru, India, January 3-7, 2024, pp. 306-308, 2024, IEEE, 979-8-3503-8311-9. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Jiangtong Wang, Zheng Tian, Jun Yang, Shihua Li |
Disturbance Observer Based Safety-Critical Model Predictive Control for Overhead Cranes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMC ![In: 18th IEEE International Conference on Advanced Motion Control, AMC 2024, Kyoto, Japan, February 28 - March 1, 2024, pp. 1-6, 2024, IEEE, 979-8-3503-4281-9. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Rob Knoth |
Solving the Physical Challenges for the Next Generation of Safety Critical & High Reliability Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPD ![In: Proceedings of the 2024 International Symposium on Physical Design, ISPD 2024, Taipei, Taiwan, March 12-15, 2024, pp. 267, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Arnab Sarker, Peter A. Fisher, Joseph E. Gaudio, Anuradha Annaswamy |
Accurate Parameter Estimation for Safety-Critical Systems with Unmodeled Dynamics (Abstract Reprint). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 22711, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Vatistas Kostalabros, Jordi Ribes-González, Oriol Farràs, Miquel Moretó, Carles Hernández 0001 |
A Safety-Critical, RISC-V SoC Integrated and ASIC-Ready Classic McEliece Accelerator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARC ![In: Applied Reconfigurable Computing. Architectures, Tools, and Applications - 20th International Symposium, ARC 2024, Aveiro, Portugal, March 20-22, 2024, Proceedings, pp. 282-295, 2024, Springer, 978-3-031-55672-2. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Wenbin Gan, Minh-Son Dao, Koji Zettsu |
Drive-CLIP: Cross-Modal Contrastive Safety-Critical Driving Scenario Representation Learning and Zero-Shot Driving Risk Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMM (2) ![In: MultiMedia Modeling - 30th International Conference, MMM 2024, Amsterdam, The Netherlands, January 29 - February 2, 2024, Proceedings, Part II, pp. 82-97, 2024, Springer, 978-3-031-53307-5. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Sachiko Matsumoto, Laurel D. Riek |
Telepresence Robots for Dynamic, Safety-Critical Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HRI (Companion) ![In: Companion of the 2024 ACM/IEEE International Conference on Human-Robot Interaction, HRI 2024, Boulder, CO, USA, March 11-15, 2024, pp. 130-132, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Federico Califano |
Passivity-Preserving Safety-Critical Control Using Control Barrier Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 7, pp. 1742-1747, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Brooks A. Butler, Philip E. Paré |
Optimal Safety-Critical Control of Epidemics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 7, pp. 1819-1824, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Joseph Breeden, Dimitra Panagou |
Safety-Critical Control for Systems With Impulsive Actuators and Dwell Time Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 7, pp. 2119-2124, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Anil Alan, Tamás G. Molnár, Ersin Das, Aaron D. Ames, Gábor Orosz |
Disturbance Observers for Robust Safety-Critical Control With Control Barrier Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 7, pp. 1123-1128, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Zhiyi Chen, Gábor Orosz, Jun Ni 0002 |
Control Barrier Functionals for Safety-Critical Control of Registration Accuracy in Roll-to-Roll Printing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 7, pp. 3651-3656, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Julia Bräker, Anna Osterbrink, Martin Semmann, Manuel Wiesche |
User-Centered Requirements for Augmented Reality as a Cognitive Assistant for Safety-Critical Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bus. Inf. Syst. Eng. ![In: Bus. Inf. Syst. Eng. 65(2), pp. 161-178, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Taylor W. Killian, Sonali Parbhoo, Marzyeh Ghassemi |
Risk Sensitive Dead-end Identification in Safety-Critical Offline Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Mach. Learn. Res. ![In: Trans. Mach. Learn. Res. 2023, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
13 | Zulqarnain H. Khattak, Jackeline Rios-Torres, Michael D. Fontaine, Asad J. Khattak |
Inferring safety critical events from vehicle kinematics in naturalistic driving environment: Application of deep learning Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Transp. Syst. ![In: J. Intell. Transp. Syst. 27(4), pp. 423-440, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Nand Kumar Jyotish, Lalit Kumar Singh, Chiranjeev Kumar, Pooja Singh |
Reliability and Performance Measurement of Safety-Critical Systems Based on Petri Nets: A Case Study of Nuclear Power Plant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 72(4), pp. 1523-1539, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Evelyn Weiss, Sébastien Guillaume, Alain Geiger, Roland Hohensinn, Heinz Wipf |
Optimization of Safety Critical IFR Helicopter Trajectories in Alpine Areas Using MILP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Aerosp. Electron. Syst. ![In: IEEE Trans. Aerosp. Electron. Syst. 59(2), pp. 1127-1138, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Nishanth Rao, Suresh Sundaram 0002 |
Integrated Decision Control Approach for Cooperative Safety-Critical Payload Transport in a Cluttered Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Aerosp. Electron. Syst. ![In: IEEE Trans. Aerosp. Electron. Syst. 59(6), pp. 8800-8811, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Santiago Lozano, Tamara Lugo, Jesús Carretero 0001 |
A Comprehensive Survey on the Use of Hypervisors in Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 36244-36263, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Iraj Moghaddasi, Saeid Gorgin 0001, Jeong-A Lee |
Dependable DNN Accelerator for Safety-Critical Systems: A Review on the Aging Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 89803-89834, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Rinu Ann Sebastian, Anu Maria Sebastian |
Leveraging semantic similarity to mitigate the severity of misclassification for safety critical applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 82(8), pp. 12615-12633, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Taotao Zhou, Laibin Zhang, Te Han, Enrique López Droguett, Ali Mosleh 0001, Felix T. S. Chan |
An uncertainty-informed framework for trustworthy fault diagnosis in safety-critical applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 229, pp. 108865, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Min Zhang, Xiangbin Liu, Hongye Su |
I&I adaptive fault-tolerant safe control of safety-critical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Frankl. Inst. ![In: J. Frankl. Inst. 360(18), pp. 14222-14236, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Yifan Jia 0002, Christopher M. Poskitt, Peixin Zhang, Jingyi Wang 0004, Jun Sun 0001, Sudipta Chattopadhyay 0001 |
Boosting Adversarial Training in Safety-Critical Systems Through Boundary Data Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 8(12), pp. 8350-8357, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Neeraj Kumar Singh 0001, Yamine Aït-Ameur, Ismaïl Mendil, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel |
F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. Evol. Process. ![In: J. Softw. Evol. Process. 35(7), July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Claude Baron, Vincent Louis |
Framework and tooling proposals for Agile certification of safety-critical embedded software in avionic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. ![In: Comput. Ind. 148, pp. 103887, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Arnab Sarker, Peter A. Fisher, Joseph E. Gaudio, Anuradha M. Annaswamy |
Accurate parameter estimation for safety-critical systems with unmodeled dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 316, pp. 103857, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Arnab Sarker, Peter A. Fisher, Joseph E. Gaudio, Anuradha M. Annaswamy |
Corrigendum to "Accurate parameter estimation for safety-critical systems with unmodeled dynamics" [Artif. Intell. 316 (2023) 103857]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 317, pp. 103878, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Wenhao Ding, Chejian Xu, Mansur Arief, Haohong Lin, Bo Li 0026, Ding Zhao |
A Survey on Safety-Critical Driving Scenario Generation - A Methodological Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Intell. Transp. Syst. ![In: IEEE Trans. Intell. Transp. Syst. 24(7), pp. 6971-6988, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Haoji Liu, Weichao Zhuang, Guodong Yin, Zhaojian Li, Dongpu Cao |
Safety-Critical and Flexible Cooperative On-Ramp Merging Control of Connected and Automated Vehicles in Mixed Traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Intell. Transp. Syst. ![In: IEEE Trans. Intell. Transp. Syst. 24(3), pp. 2920-2934, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Wei Xiao 0003, Calin Belta, Christos G. Cassandras |
Event-Triggered Control for Safety-Critical Systems With Unknown Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 68(7), pp. 4143-4158, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Si Wu, Tengfei Liu, Magnus Egerstedt, Zhong-Ping Jiang |
Quadratic Programming for Continuous Control of Safety-Critical Multiagent Systems Under Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 68(11), pp. 6664-6679, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Chunxiao Huang, Lijun Long |
Safety-Critical Model Reference Adaptive Control of Switched Nonlinear Systems With Unsafe Subsystems: A State-Dependent Switching Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Cybern. ![In: IEEE Trans. Cybern. 53(10), pp. 6353-6362, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Alwyn E. Goodloe |
Assuring Safety-Critical Machine Learning-Enabled Systems: Challenges and Promise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 56(9), pp. 83-88, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Axel Brando, Isabel Serra, Enrico Mezzetti, Francisco J. Cazorla, Jon Pérez-Cerrolaza, Jaume Abella 0001 |
On Neural Networks Redundancy and Diversity for Their Use in Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 56(5), pp. 41-50, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Charles Meyers, Tommy Löfstedt, Erik Elmroth |
Safety-critical computer vision: an empirical survey of adversarial evasion attacks and defenses on computer vision systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 56(S1), pp. 217-251, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Hamzeh Ahangari, Yusuf Ibrahim Ozkok, Asil Yildirim, Fatih Say, Funda Atik, Ozcan Ozturk 0001 |
Architecture for safety-critical transportation systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 98, pp. 104818, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Shengbo Wang, Shiping Wen 0001, Yin Yang 0001, Yuting Cao, Kaibo Shi, Tingwen Huang |
Suboptimal Safety-Critical Control for Continuous Systems Using Prediction-Correction Online Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Syst. ![In: IEEE Trans. Syst. Man Cybern. Syst. 53(7), pp. 4091-4101, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Wentao Wu, Yibo Zhang, Weidong Zhang 0004, Wei Xie |
Output-Feedback Finite-Time Safety-Critical Coordinated Control of Path-Guided Marine Surface Vehicles Based on Neurodynamic Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Syst. ![In: IEEE Trans. Syst. Man Cybern. Syst. 53(3), pp. 1788-1800, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Shengbo Wang, Bo Lyu, Shiping Wen 0001, Kaibo Shi, Song Zhu, Tingwen Huang |
Robust Adaptive Safety-Critical Control for Unknown Systems With Finite-Time Elementwise Parameter Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Syst. ![In: IEEE Trans. Syst. Man Cybern. Syst. 53(3), pp. 1607-1617, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Yushen Wang, Tianwen Sun, Guang Yang, Kai Yang, Xuefei Song, Changling Zheng |
Safety-Critical Task Offloading Heuristics for Workflow Applications in Mobile Edge Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Circuits Syst. Comput. ![In: J. Circuits Syst. Comput. 32(11), pp. 2350186:1-2350186:21, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Tamás G. Molnár, Adam K. Kiss, Aaron D. Ames, Gábor Orosz |
Safety-Critical Control With Input Delay in Dynamic Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Control. Syst. Technol. ![In: IEEE Trans. Control. Syst. Technol. 31(4), pp. 1507-1520, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Shakeel Ahamad, Ratneshwer Gupta |
A reward-based performability modelling of a fault-tolerant safety-critical system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Assur. Eng. Manag. ![In: Int. J. Syst. Assur. Eng. Manag. 14(6), pp. 2218-2234, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Artem Klashtorny, Zhuanhao Wu, Anirudh Mohan Kaushik, Hiren D. Patel |
Predictable GPU Wavefront Splitting for Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 22(5s), pp. 107:1-107:25, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Yuhang Yang, Kalle Kujanpää, Amin Babadi, Joni Pajarinen, Alexander Ilin |
Suicidal Pedestrian: Generation of Safety-Critical Scenarios for Autonomous Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.00249, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Huan Yu, Chenguang Zhao, Tamás G. Molnár |
Safety-Critical Traffic Control by Connected Automated Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.04833, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Jaemin Lee, Jeeseop Kim, Aaron D. Ames |
A Data-driven Method for Safety-critical Control: Designing Control Barrier Functions from State Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.07786, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Yujie Wang, Xiangru Xu |
Adaptive Safety-Critical Control for a Class of Nonlinear Systems with Parametric Uncertainties: A Control Barrier Function Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.08601, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Fengqing Hu, Huan Yu |
Safety-Critical Lane-Change Control for CAV Platoons in Mixed Autonomy Traffic Using Control Barrier Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.00424, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Pedram Rabiee, Jesse B. Hoagg |
Soft-Minimum Barrier Functions for Safety-Critical Control Subject to Actuation Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.00693, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Zheyu Yan, Xiaobo Sharon Hu, Yiyu Shi 0001 |
Compute-in-Memory based Neural Network Accelerators for Safety-Critical Systems: Worst-Case Scenarios and Protections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.06137, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Prithvi Akella, Aaron D. Ames |
Bounding Optimality Gaps for Non-Convex Optimization Problems: Applications to Nonlinear Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.03739, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Aurora Haraldsen, Martin S. Wiig, Aaron D. Ames, Kristin Y. Pettersen |
Safety-Critical Control of Nonholonomic Vehicles in Dynamic Environments using Velocity Obstacles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.00713, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Berkay Turan, Spencer Hutchinson, Mahnoosh Alizadeh |
A Safe First-Order Method for Pricing-Based Resource Allocation in Safety-Critical Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.03808, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Erica Weng, Kenta Mukoya, Deva Ramanan, Kris Kitani |
Evaluating a VR System for Collecting Safety-Critical Vehicle-Pedestrian Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.05882, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Bai Xue |
Reach-avoid Controllers Synthesis for Safety Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.14565, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Aditya Deshmukh, Zifei Wang, Aaron Gunn, Huizhong Guo, Rini Sherony, Fred Feng, Brian Lin, Shan Bao, Feng Zhou 0003 |
A systematic review of safety-critical scenarios between automated vehicles and vulnerable road users. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.11291, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Max H. Cohen, Makai Mann, Kevin Leahy 0001, Calin Belta |
Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.01901, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Taylor W. Killian, Sonali Parbhoo, Marzyeh Ghassemi |
Risk Sensitive Dead-end Identification in Safety-Critical Offline Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.05664, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Tita A. Bach, Jenny K. Kristiansen, Aleksandar Babic, Alon Jacovi |
Unpacking Human-AI Interaction in Safety-Critical Industries: A Systematic Literature Review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.03392, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Deyun Lyu, Jiayang Song, Zhenya Zhang, Zhijie Wang, Tianyi Zhang 0001, Lei Ma 0003, Jianjun Zhao 0001 |
AutoRepair: Automated Repair for AI-Enabled Cyber-Physical Systems under Safety-Critical Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.05617, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Vishrut Bohara, Siavash Farzan |
Adaptive Estimation-Based Safety-Critical Cruise Control of Vehicular Platoons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.00952, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
|
|