115 citations · 262 across the 51 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.FL2012★ 1 cited
On the Relationship between LTL Normal Forms and Buechi Automata
Jianwen Li, Geguang Pu, Lijun Zhang +3
In this paper, we consider the problem of translating LTL formulas to Buechi automata. We first translate the given LTL formula into a special disjuctive-normal form (DNF). The for…
eess.SY2012★ 3 cited
MDM: A Mode Diagram Modeling Framework for Periodic Control Systems
Zheng Wang, Geguang Pu, Shenchao Qin +5
Periodic control systems used in spacecrafts and automotives are usually period-driven and can be decomposed into different modes with each mode representing a system state observe…