The safety filter: A unified view of safety-critical control in autonomous systems
Recent years have seen significant progress in the realm of robot autonomy, accompanied
by the expanding reach of robotic technologies. However, the emergence of new …
by the expanding reach of robotic technologies. However, the emergence of new …
Towards evidence-based cybersecurity assessment of programmable systems to ensure the protection of critical IT infrastructure
O Illiashenko, V Kharchenko… - 2023 IEEE 12th …, 2023 - ieeexplore.ieee.org
The paper is devoted to developing scientific principles, methods, means, and information
technology of model-oriented verification and evidence-based assessment using functional …
technology of model-oriented verification and evidence-based assessment using functional …
Invariant-Based Safety Assessment of FPGA Projects: Conception and Technique
This paper describes a proposed method and technology of safety assessment of projects
based on field programmable gate arrays (FPGA). Safety assessment is based on special …
based on field programmable gate arrays (FPGA). Safety assessment is based on special …
Finite state machine model checking of a wave-union-based TDC FPGA system
J Ratners, N Tihomorskis, S Migla… - 2024 IEEE Workshop …, 2024 - ieeexplore.ieee.org
This paper introduces the initial steps towards formal verification of a wave-union based time-
to-digital converter (TDC) system designed in a field-programmable gate array (FPGA) …
to-digital converter (TDC) system designed in a field-programmable gate array (FPGA) …
Safety Assurance of Autonomous Learning-Enabled Cyber Physical Systems
P Musau - 2022 - search.proquest.com
There are few technologies that hold as much promise as autonomous Cyber-physical
systems (CPS) in re-orienting the way we move around, explore new environments …
systems (CPS) in re-orienting the way we move around, explore new environments …
[图书][B] Geometric and Learning-based Collision Avoidance for Quadrotors
A Maalouly - 2021 - search.proquest.com
Quadrotors have seen a surge in popularity in many applications such as medical deliveries,
surveying tasks, mapping tasks, and much more. Urban operations, such as deliveries of …
surveying tasks, mapping tasks, and much more. Urban operations, such as deliveries of …
[PDF][PDF] Invariant-Based Safety Assessment of FPGA Projects: Conception and Technique. Computers 2021, 10, 125
This paper describes a proposed method and technology of safety assessment of projects
based on field programmable gate arrays (FPGA). Safety assessment is based on special …
based on field programmable gate arrays (FPGA). Safety assessment is based on special …
[引用][C] ShadowEgo 로분석한Visual Grounding 기술의현황과과제
최진혁 - 정보과학회지, 2024 - dbpia.co.kr
정보는 계속 축적되고 있습니다. 그리고 이렇게축적되는 정보 안에는 다양한 지식이 존재하고,
시간에 따라 지식의 분포와 흐름은 늘 변화합니다. 따라서이러한 변화를 탐지하고 관찰 …
시간에 따라 지식의 분포와 흐름은 늘 변화합니다. 따라서이러한 변화를 탐지하고 관찰 …