Hybridity in embedded computing systems

Download PDF
Open Webpage

Huiqun Yu, Yongqiang Sun

Published: 1996, Last Modified: 21 Jan 2026J. Comput. Sci. Technol. 1996EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: An embedded system is a system that computer is used as a component in a larger device. In this paper, we study hybridity in embedded systems and present an interval based temporal logic to express and reason about hybrid properties of such kind of systems.