Search results for "safety-critical"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Hassan Almubarak, Nader Sadegh, Evangelos A. Theodorou	Barrier States Theory for Safety-Critical Multi-Objective Control.	CoRR	2023	DBLP DOI BibTeX RDF
13	Haolan Liu, Liangjun Zhang, Siva Kumar Sastry Hari, Jishen Zhao	Safety-Critical Scenario Generation Via Reinforcement Learning Based Editing.	CoRR	2023	DBLP DOI BibTeX RDF
13	Dianhao Zhang, Mien Van, Stephen McIlvanna, Yuzhu Sun, Seán F. McLoone	Adaptive Safety-critical Control with Uncertainty Estimation for Human-robot Collaboration.	CoRR	2023	DBLP DOI BibTeX RDF
13	Ali Baheri, Mykel J. Kochenderfer	Joint Falsification and Fidelity Settings Optimization for Validation of Safety-Critical Systems: A Theoretical Analysis.	CoRR	2023	DBLP DOI BibTeX RDF
13	Prithvi Akella, Wyatt Ubellacker, Aaron D. Ames	Probabilistic Guarantees for Nonlinear Safety-Critical Optimal Control.	CoRR	2023	DBLP DOI BibTeX RDF
13	Shuo Liu, Wei Xiao 0003, Calin A. Belta	Feasibility-Guaranteed Safety Critical Control with Applications to Heterogeneous Platoons.	CoRR	2023	DBLP DOI BibTeX RDF
13	Xiangyuan Zhang, Weichao Mao, Saviz Mowlavi, Mouhacine Benosman, Tamer Basar	Controlgym: Large-Scale Safety-Critical Control Environments for Benchmarking Reinforcement Learning Algorithms.	CoRR	2023	DBLP DOI BibTeX RDF
13	Joseph Breeden, Dimitra Panagou	Safety-Critical Control for Systems with Impulsive Actuators and Dwell Time Constraints.	CoRR	2023	DBLP DOI BibTeX RDF
13	Ping Zhang, Lingfeng Ming, Tingyi Yuan, Cong Qiu, Yang Li, Xinhua Hui, Zhiquan Zhang, Chao Huang	Realistic Safety-critical Scenarios Search for Autonomous Driving System via Behavior Tree.	CoRR	2023	DBLP DOI BibTeX RDF
13	Jeeseop Kim, Jaemin Lee, Aaron D. Ames	Safety-Critical Coordination of Legged Robots via Layered Controllers and Forward Reachable Set based Control Barrier Functions.	CoRR	2023	DBLP DOI BibTeX RDF
13	Astrid Rakow	Framing Relevance for Safety-Critical Autonomous Systems.	CoRR	2023	DBLP DOI BibTeX RDF
13	Jaemin Lee, Jeeseop Kim, Wyatt Ubellacker, Tamás G. Molnár, Aaron D. Ames	Safety-critical Control of Quadrupedal Robots with Rolling Arms for Autonomous Inspection of Complex Environments.	CoRR	2023	DBLP DOI BibTeX RDF
13	Hongzheng Yang, Cheng Chen, Yueyao Chen, Markus Scheppach, Hon-Chi Yip, Qi Dou 0001	Uncertainty Estimation for Safety-critical Scene Segmentation via Fine-grained Reward Maximization.	CoRR	2023	DBLP DOI BibTeX RDF
13	Brett W. Israelsen, Soumalya Sarkar	LLMs for Multi-Modal Knowledge Extraction and Analysis in Intelligence/Safety-Critical Applications.	CoRR	2023	DBLP DOI BibTeX RDF
13	Florian Thaler, Franz Rammerstorfer, Jon Ander Gómez, Raul Garcia Crespo, Leticia Pasqual, Markus Postl	Reinforcement learning for safety-critical control of an automated vehicle.	CoRR	2023	DBLP DOI BibTeX RDF
13	Tamás G. Molnár, Aaron D. Ames	Safety-Critical Control with Bounded Inputs via Reduced Order Models.	CoRR	2023	DBLP DOI BibTeX RDF
13	Amr S. Mohamed, Mohsen Khalaf, Deepa Kundur	On the Use of Safety Critical Control for Cyber-Physical Security in the Smart Grid.	CoRR	2023	DBLP DOI BibTeX RDF
13	Shuang Ao	Building Safe and Reliable AI systems for Safety Critical Tasks with Vision-Language Processing.	CoRR	2023	DBLP DOI BibTeX RDF
13	Huiliang Zhang, Di Wu 0044, Benoit Boulet	Adaptive Aggregation for Safety-Critical Control.	CoRR	2023	DBLP DOI BibTeX RDF
13	Kunkun Hao, Lu Liu, Wen Cui, Jianxing Zhang, Songyang Yan, Yuxi Pan, Zijiang Yang	Bridging Data-Driven and Knowledge-Driven Approaches for Safety-Critical Scenario Generation in Automated Vehicle Validation.	CoRR	2023	DBLP DOI BibTeX RDF
13	Saddek Bensalem, Chih-Hong Cheng, Wei Huang 0035, Xiaowei Huang 0001, Changshun Wu, Xingyu Zhao 0001	What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems.	CoRR	2023	DBLP DOI BibTeX RDF
13	Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames	Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications.	CoRR	2023	DBLP DOI BibTeX RDF
13	Nico Schick	Exploring the Boundaries: Thorough Software Testing for Safety-Critical Driving Scenarios Based on Kinematics in the Context of Autonomous Driving.	CoRR	2023	DBLP DOI BibTeX RDF
13	Yulin Li, Xindong Tang, Kai Chen, Chunxin Zheng, Haichao Liu, Jun Ma	Geometry-Aware Safety-Critical Local Reactive Controller for Robot Navigation in Unknown and Cluttered Environments.	CoRR	2023	DBLP DOI BibTeX RDF
13	Jeeseop Kim, Jaemin Lee, Aaron D. Ames	Safety-Critical Coordination for Cooperative Legged Locomotion via Control Barrier Functions.	CoRR	2023	DBLP DOI BibTeX RDF
13	Max H. Cohen, Calin Belta	Modular Adaptive Safety-Critical Control.	CoRR	2023	DBLP DOI BibTeX RDF
13	Berk Tosun, Evren Samur	Modular Safety-Critical Control of Legged Robots.	CoRR	2023	DBLP DOI BibTeX RDF
13	Jay Sarva, Jingkang Wang, James Tu, Yuwen Xiong, Sivabalan Manivasagam, Raquel Urtasun	Adv3D: Generating Safety-Critical 3D Objects through Closed-Loop Simulation.	CoRR	2023	DBLP DOI BibTeX RDF
13	Shuo Liu, Wei Xiao 0003, Calin A. Belta	Auxiliary-Adaptive Control Barrier Functions for Safety Critical Systems.	CoRR	2023	DBLP DOI BibTeX RDF
13	Tasmeen Zaman Ornee, Md Kamran Chowdhury Shisher, Clement Kam, Yin Sun	Context-aware Status Updating: Wireless Scheduling for Maximizing Situational Awareness in Safety-critical Systems.	CoRR	2023	DBLP DOI BibTeX RDF
13	Weiqin Chen 0003, Dharmashankar Subramanian, Santiago Paternain	Probabilistic Constraint for Safety-Critical Reinforcement Learning.	CoRR	2023	DBLP DOI BibTeX RDF
13	Brooks A. Butler, Philip E. Paré	Distributed Collaborative Safety-Critical Control for Networked Dynamic Systems.	CoRR	2023	DBLP DOI BibTeX RDF
13	Donggeon David Oh, Dongjae Lee, H. Jin Kim	Safety-Critical Control under Multiple State and Input Constraints and Application to Fixed-Wing UAV.	CoRR	2023	DBLP DOI BibTeX RDF
13	Hans-Martin Heyn, Eric Knauss, Iswarya Malleswaran, Shruthi Dinakaran	An investigation of challenges encountered when specifying training data and runtime monitors for safety critical ML applications.	CoRR	2023	DBLP DOI BibTeX RDF
13	Federico Califano	Passivity-Preserving Safety-Critical Control using Control Barrier Functions.	CoRR	2023	DBLP DOI BibTeX RDF
13	Leonie Koessler, Jonas Schuett	Risk assessment at AGI companies: A review of popular risk assessment techniques from other safety-critical industries.	CoRR	2023	DBLP DOI BibTeX RDF
13	Jon Pérez-Cerrolaza, Jaume Abella 0001, Leonidas Kosmidis, Alejandro J. Calderón, Francisco J. Cazorla, Jose Luis Flores 0001	GPU Devices for Safety-Critical Systems: A Survey.	ACM Comput. Surv.	2023	DBLP DOI BibTeX RDF
13	Ipsita Koley, Soumyajit Dey, Debdeep Mukhopadhyay, Sachin Kumar Singh, Lavanya Lokesh, Shantaram Vishwanath Ghotgalkar	CAD Support for Security and Robustness Analysis of Safety-critical Automotive Software.	ACM Trans. Cyber Phys. Syst.	2023	DBLP DOI BibTeX RDF
13	Hazem M. Fahmy, Fabrizio Pastore, Lionel C. Briand, Thomas Stifter	Simulator-based Explanation and Debugging of Hazard-triggering Events in DNN-based Safety-critical Systems.	ACM Trans. Softw. Eng. Methodol.	2023	DBLP DOI BibTeX RDF
13	Nancy G. Leveson, John P. Thomas	Certification of Safety-Critical Systems.	Commun. ACM	2023	DBLP DOI BibTeX RDF
13	Nan Gu, Haoliang Wang, Anqing Wang, Lu Liu 0003	Safety-Critical Game-Based Formation Control of Underactuated Autonomous Surface Vehicles.	IEEE CAA J. Autom. Sinica	2023	DBLP DOI BibTeX RDF
13	Thomas Veran, Pierre-Edouard Portier, François Fouquet	Interpretable hierarchical symbolic regression for safety-critical systems with an application to highway crash prediction.	Eng. Appl. Artif. Intell.	2023	DBLP DOI BibTeX RDF
13	Hongjiao Guan, Xiangjun Dong 0001, Chuan Chen, Long Zhao 0002, Xiaoqiang Ren	Dual objective bounded abstaining model to control performance for safety-critical applications.	Eng. Appl. Artif. Intell.	2023	DBLP DOI BibTeX RDF
13	Elson Kurian, Daniela Briola, Pietro Braione, Giovanni Denaro	Automatically generating test cases for safety-critical software via symbolic execution.	J. Syst. Softw.	2023	DBLP DOI BibTeX RDF
13	Nan Gu, Dan Wang 0001, Zhouhua Peng, Jun Wang 0002	Safety-Critical Containment Maneuvering of Underactuated Autonomous Surface Vehicles Based on Neurodynamic Optimization With Control Barrier Functions.	IEEE Trans. Neural Networks Learn. Syst.	2023	DBLP DOI BibTeX RDF
13	Gopinath Karmakar, Amol Wakankar, Ashutosh Kabra, Paritosh K. Pandya	Development of Safety-Critical Systems - Architecture and Software		2023	DOI RDF
13	José M. Pinheiro, Enio Vasconcelos Filho, Pedro M. Santos 0002, Luís Almeida 0001	An ETSI ITS-enabled Robotic Scale Testbed for Network-Aided Safety-Critical Scenarios.	DSN-W	2023	DBLP DOI BibTeX RDF
13	Marsha Chechik, Sebastian G. Elbaum, Boyue Caroline Hu, Lina Marsso, Meriel von Stein (eds.)	Proceedings of the 1st International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components, SE4SafeML 2023, San Francisco, CA, USA, 4 December 2023	SE4SafeML@SIGSOFT FSE	2023	DBLP DOI BibTeX RDF
13	Cameron Lerch, Dayi Dong, Ian Abraham	Safety-Critical Ergodic Exploration in Cluttered Environments via Control Barrier Functions.	ICRA	2023	DBLP DOI BibTeX RDF
13	Ryan M. Bena, Sushmit Hossain, Buyun Chen, Wei Wu, Quan Nguyen 0004	A Hybrid Quadratic Programming Framework for Real-Time Embedded Safety-Critical Control.	ICRA	2023	DBLP DOI BibTeX RDF
13	Prithvi Akella, Wyatt Ubellacker, Aaron D. Ames	Safety-Critical Controller Verification via Sim2Real Gap Quantification.	ICRA	2023	DBLP DOI BibTeX RDF
13	Zhuozhu Jian, Zihong Yan, Xuanang Lei, Zihong Lu, Bin Lan, Xueqian Wang 0001, Bin Liang 0001	Dynamic Control Barrier Function-based Model Predictive Control to Safety-Critical Obstacle-Avoidance of Mobile Robot.	ICRA	2023	DBLP DOI BibTeX RDF
13	Silvia Thal, Philip Wallis, Roman Henze, Ryo Hasegawa, Hiroki Nakamura, Sou Kitajima, Genya Abe	Towards Realistic, Safety-Critical and Complete Test Case Catalogs for Safe Automated Driving in Urban Scenarios.	IV	2023	DBLP DOI BibTeX RDF
13	Hirva Bhagat, Sandesh Jain, A. Lynn Abbott, Akash Sonth, Abhijit Sarkar	Driver Gaze Fixation and Pattern Analysis in Safety Critical Events.	IV	2023	DBLP DOI BibTeX RDF
13	Yiming Shu, Jingyuan Zhou, Fu Zhang	Safety-critical Decision-making and Control for Autonomous Vehicles with Highest Priority.	IV	2023	DBLP DOI BibTeX RDF
13	Sanjay Das, Shamik Kundu, Kanad Basu	Bottlenecks in Secure Adoption of Deep Neural Networks in Safety-Critical Applications.	MWSCAS	2023	DBLP DOI BibTeX RDF
13	Kunal Agrawal, Sanjoy K. Baruah, Michael A. Bender, Alberto Marchetti-Spaccamela	The Safe and Effective Use of Low-Assurance Predictions in Safety-Critical Systems.	ECRTS	2023	DBLP DOI BibTeX RDF
13	Linyi Jin, Val Mitchell, Andrew J. May, Ning Lu	Enhancing Operator Engagement in Safety Critical Control Rooms-Validating Influential Factors and Improving Interview-based Data Collection.	HCI (38)	2023	DBLP DOI BibTeX RDF
13	Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray	Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Safety-Critical Autonomous Systems.	IROS	2023	DBLP DOI BibTeX RDF
13	Qiayuan Liao, Zhongyu Li, Akshay Thirugnanam, Jun Zeng, Koushil Sreenath	Walking in Narrow Spaces: Safety-Critical Locomotion Control for Quadrupedal Robots with Duality-Based Optimization.	IROS	2023	DBLP DOI BibTeX RDF
13	Jeeseop Kim, Jaemin Lee, Aaron D. Ames	Safety-Critical Coordination for Cooperative Legged Locomotion via Control Barrier Functions.	IROS	2023	DBLP DOI BibTeX RDF
13	Prithvi Akella, Wyatt Ubellacker, Aaron D. Ames	Probabilistic Guarantees for Nonlinear Safety-Critical Optimal Control.	IROS	2023	DBLP DOI BibTeX RDF
13	Sangeeta Dey, Seok-Won Lee	A Multi-layered Collaborative Framework for Evidence-driven Data Requirements Engineering for Machine Learning-based Safety-critical Systems.	SAC	2023	DBLP DOI BibTeX RDF
13	Uzair Sharif, Daniel Mueller-Gritschneder, Rafael Stahl, Ulf Schlichtmann	Efficient Software-Implemented HW Fault Tolerance for TinyML Inference in Safety-critical Applications.	DATE	2023	DBLP DOI BibTeX RDF
13	Zhuanhao Wu, Marat Bekmyrza, Nachiket Kapre, Hiren D. Patel	Ditty: Directory-based Cache Coherence for Multicore Safety-critical Systems.	DATE	2023	DBLP DOI BibTeX RDF
13	Muhammad Nouman Zafar, Wasif Afzal, Eduard Paul Enoiu	An Empirical Evaluation of System-Level Test Effectiveness for Safety-Critical Software.	ENASE	2023	DBLP DOI BibTeX RDF
13	Xabier Arauzo, Irune Yarza, Leonidas Kosmidis, Alejandro J. Calderón, Marcos Rodriguez	Unraveling the Mystery of NVIDIA's Unified Memory for Safety-Critical GPU Systems.	DSD	2023	DBLP DOI BibTeX RDF
13	Elena Troubitsyna	Utilising Redundancy to Enhance Security of Safety-Critical Systems.	SAFECOMP Workshops	2023	DBLP DOI BibTeX RDF
13	Tobias Dörr, Florian Schade, Jürgen Becker 0001	Pattern-Based Information Flow Control for Safety-Critical On-Chip Systems.	SAFECOMP	2023	DBLP DOI BibTeX RDF
13	Cyrille Artho, Peter Csaba Ölveczky (eds.)	Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2023, Cascais, Portugal, 22 October 2023	FTSCS	2023	DBLP DOI BibTeX RDF
13	Rajesh Kumar 0012, Nitish Yadav	A methodology for resilient safety-critical infrastructures using statistical model checking.	APSEC	2023	DBLP DOI BibTeX RDF
13	Deniz Kasap, Alessio Carpegna, Alessandro Savino, Stefano Di Carlo	Micro-Architectural features as soft-error markers in embedded safety-critical systems: preliminary study.	ETS	2023	DBLP DOI BibTeX RDF
13	Mohamad Gharib	Emotions, Readiness for Act, and Safe/Unsafe Acts in Safety Critical Systems: A Position Paper.	REW	2023	DBLP DOI BibTeX RDF
13	Satyam Sharma, Muhammad Abdul Basit Ur Rahim, Shahid Hussain, Muhammad Rizwan Abid, Tairan Liu	Using Deep Reinforcement Learning And Formal Verification in Safety Critical Systems: Strategies and Challenges.	QRS Companion	2023	DBLP DOI BibTeX RDF
13	Pedram Rabiee, Jesse B. Hoagg	Soft-Minimum Barrier Functions for Safety-Critical Control Subject to Actuation Constraints.	ACC	2023	DBLP DOI BibTeX RDF
13	Tamás G. Molnár, Aaron D. Ames	Safety-Critical Control with Bounded Inputs via Reduced Order Models.	ACC	2023	DBLP DOI BibTeX RDF
13	Max H. Cohen, Calin Belta	Modular Adaptive Safety-Critical Control.	ACC	2023	DBLP DOI BibTeX RDF
13	Vrushabh Zinage, Efstathios Bakolas	Neural Koopman Control Barrier Functions for Safety-Critical Control of Unknown Nonlinear Systems.	ACC	2023	DBLP DOI BibTeX RDF
13	Martin Fränzle, Willem Hagemann, Werner Damm, Astrid Rakow, Mani Swaminathan	Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles.	Applicable Formal Methods for Safe Industrial Products	2023	DBLP DOI BibTeX RDF
13	Sten Vercammen, Markus Borg, Serge Demeyer	Validation of Mutation Testing in the Safety Critical Industry through a Pilot Study.	ICSTW	2023	DBLP DOI BibTeX RDF
13	Mounia Elqortobi, Amine Rahj, Jamal Bentahar	Granular Traceability Between Requirements and Test Cases for Safety-Critical Software Systems.	MobiWIS	2023	DBLP DOI BibTeX RDF
13	Yihe Li, Zhouhua Peng, Lu Liu 0003, Haoliang Wang, Nan Gu, Anqing Wang, Dan Wang 0001	Safety-Critical Path Planning of Autonomous Surface Vehicles Based on Rapidly-Exploring Random Tree Algorithm and High Order Control Barrier Functions.	CACRE	2023	DBLP DOI BibTeX RDF
13	Helber Silva, Marco Vieira, Augusto Neto 0001	Are safety-critical systems really survivable to attacks?	SysCon	2023	DBLP DOI BibTeX RDF
13	Donggeon David Oh, Dongjae Lee, H. Jin Kim	Safety-Critical Control Under Multiple State and Input Constraints and Application to Fixed-Wing UAV.	CDC	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.	CDC	2023	DBLP DOI BibTeX RDF
13	Chenguang Zhao, Huan Yu	Safety-Critical Traffic Control for Mixed Autonomy Systems with Input Delay and Disturbances.	CDC	2023	DBLP DOI BibTeX RDF
13	Shuo Liu, Wei Xiao 0003, Calin A. Belta	Auxiliary- Variable Adaptive Control Barrier Functions for Safety Critical Systems.	CDC	2023	DBLP DOI BibTeX RDF
13	Carina Manger, Jakob Peintner, Marion Hoffmann, Mirella Probst, Raphael Wennmacher, Andreas Riener	Providing Explainability in Safety-Critical Automated Driving Situations through Augmented Reality Windshield HMIs.	AutomotiveUI (Adjunct Proceedings)	2023	DBLP DOI BibTeX RDF
13	Florence de Grancey, Amandine Audouy	Towards the Deployment of Knowledge Based Systems in Safety-Critical Systems.	ESWC (Satellite Events)	2023	DBLP DOI BibTeX RDF
13	Hans-Martin Heyn, Eric Knauss, Iswarya Malleswaran, Shruthi Dinakaran	An Investigation of Challenges Encountered When Specifying Training Data and Runtime Monitors for Safety Critical ML Applications.	REFSQ	2023	DBLP DOI BibTeX RDF
13	Jay Sarva, Jingkang Wang, James Tu, Yuwen Xiong, Sivabalan Manivasagam, Raquel Urtasun	Adv3D: Generating Safety-Critical 3D Objects through Closed-Loop Simulation.	CoRL	2023	DBLP BibTeX RDF
13	Erik Tomusk, Verena Beckham	What's New in SYCL for Safety Critical Systems.	IWOCL	2023	DBLP DOI BibTeX RDF
13	Pragya Dhungana, Rupesh Kumar Singh, Hariom Dhungana	Machine Learning Model for Fault Detection in Safety Critical System.	ApplePies	2023	DBLP DOI BibTeX RDF
13	Linrui Zhang, Qin Zhang, Li Shen 0008, Bo Yuan 0003, Xueqian Wang 0001, Dacheng Tao	Evaluating Model-Free Reinforcement Learning toward Safety-Critical Tasks.	AAAI	2023	DBLP DOI BibTeX RDF
13	Aymen Ouertani, Ossmane Krini, Josef Börcsök	A Practical Approach for Reliability Prediction of Safety Critical Software Using Multi-Model Ensemble Techniques.	ICSRS	2023	DBLP DOI BibTeX RDF
13	T. V. Rao, Sameen Naqvi	Quantifying Reliability in a Complex Safety-Critical System: A Copula and Distorted Distribution Approach.	ICSRS	2023	DBLP DOI BibTeX RDF
13	Oisín Sheridan	Exploring a Methodology for Formal Verification of Safety-Critical Systems.	ABZ	2023	DBLP DOI BibTeX RDF
13	David Geleßus, Sebastian Stock 0002, Fabian Vu, Michael Leuschel, Atif Mashkoor	Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations.	ABZ	2023	DBLP DOI BibTeX RDF
13	Chengzhuo Li, Xiafu Peng, Weiyao Lan, Xiao Yu	Autonomous and Safety-Critical Stair Climbing via Nonlinear Model Predictive Control for Quadrupedal Robots.	ROBIO	2023	DBLP DOI BibTeX RDF
13	Alptekin Vardar, Li Zhang, Saiyam Bherulal Jain, Shaown Mojumder, Nellie Laleni, Sourav De, Thomas Kämpfe	The True Cost of Errors in Emerging Memory Devices: A Worst-Case Analysis of Device Errors in IMC for Safety-Critical Applications.	SMACD	2023	DBLP DOI BibTeX RDF