The design and analysis of cyber-physical systems bring many challenges, some of them resulting from the difficulty to express within the same formalism the interaction between discrete (cyber) and continuous (physical) processes. We propose in this work a component based description of cyber-physical systems. Components abstract from internal operations of …
read moreOther presentations
Nerve Nets, Omega-regular Languages, and Reo
In this talk we relate Reo to some fundamental results in computer science.
In 1951, S.C. Kleene detailed the construction of nerve nets, and characterized their behavior in terms of events occurring within a finite frame of time. He then proved that regular events are exactly the events generated …
read more
Page 1 / 1