[등록번호/US11914720B2] Method for verifying drone included in industrial internet of things system, by using petri-net modeling, 2024

​

[등록번호/1025383320000] IMD 기반 인공 췌장 시스템을 위한 명세 기반의 오동작 탐지 시스템 및 그 방법, 2023
Specification-based Misbehavior Detection System And Method thereof for IMD-Enabled Artificial Pancreas System, 2023

 

[등록번호/1024911510000] 무인 항공기 보안 프로토콜 시스템 및 그 방법, 2023
Secure Protocol System for Unmanned Aerial Vehicle and the Method thereof, 2023 

 

[등록번호/1025012680000] 무인항공기의 행위 분석 시스템, 행위 분석 모델 학습 시스템 및 방법, 2023
System and Method for Learing Behavioral Analysis Model of a UAV, 2023

 

[등록번호/1026021960000] 무인항공기의 순응도 모델링을 위한 순응도 데이터 선정 시스템 및 방법, 2023
System and Method for Selecting Compliance Data for Complicance Modeling of a UAV, 2023

 

[등록번호/1025190170000] 스마트 온실 농업환경의 네트워크 이상 감지 시스템 및 그 방법, 2023
Misbehavior Detection System for network of Smart Greenhouse Farming network and the Method thereof, 2023 

 

[등록번호/1025931670000] 통신 네트워크 시스템의 동작방법, 2023
Operation method of a communication network system, 2023

​

​[등록번호/1020502300000] 페트리 넷 모델링을 이용한 산업용 사물 인터넷 시스템에 구비되는 드론의 검증방법, 2019

A method for verifying drones in Industrial Internet of Things using Petri net modeling, 2019