이상진 교수

In this paper, a new framework based on intent inference is proposed to detect the flight-deck human-automation mode confusion. Due to the rapid advancement of flight-deck technology, human-automation issues have become a core area of focus in today’s aviation safety. The complexity of the advanced flight deck leads to new safety concerns such as dysfunctional interaction between the human and the automation. To reduce the occurrence of incidents caused by the human-automation issues, it is nece

This study presents a state estimation algorithm for the stochastic hybrid system with event‐based sampling. In event‐based sampling, sensors transmit their measurements to an estimator only when predefined events happen, to reduce the communication cost. On the basis of the event‐based sampling, the hybrid state estimation problem is formulated as to compute the probability density of the hybrid state with the sequence of noisy measurements generated at certain events. This hybrid state estimat

Transaction logging and log shipping are standard techniques to provide recoverability and high availability in data management systems. They entail an update to a local log file at every transaction and sending such an update to a remote site in a coordinated fashion. Modern databases have leveraged technologies such as Persistent Memory (PM) and RDMA-enabled networking to perform these updates as fast as possible. This mix of technologies, however, presents several drawbacks: some technologies