29 citations · 40 across the 13 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
A Tableau Construction for Finite Linear-Time Temporal Logic
Samuel Huang, Rance Cleaveland
This paper describes a method for converting formulas in finite propositional linear-time temporal logic (Finite LTL) into finite-state automata whose languages are the models of t…
eess.SY2019★ 29 cited
Notions of Centralized and Decentralized Opacity in Linear Systems
Bhaskar Ramasubramanian, Rance Cleaveland, Steven I. Marcus
We formulate notions of opacity for cyberphysical systems modeled as discrete-time linear time-invariant systems. A set of secret states is -ISO with respect to a set of nonsecr…