David Sears

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 2

Top Topics

Partially Observable

Timed Petri Nets

Finite Automata

Failure Diagnosis

Top Venues

Discret. Event Dyn. Syst.

Publications

David Sears, Karen Rudie
Computing observers from observation policies in discrete-event systems. Discret. Event Dyn. Syst. 28 (4) (2018)
David Sears, Karen Rudie
Minimal sensor activation and minimal communication in discrete-event systems. Discret. Event Dyn. Syst. 26 (2) (2016)
David Sears, Karen Rudie
On computing indistinguishable states of nondeterministic finite automata with partially observable transitions. CDC (2014)
David Sears, Karen Rudie
Efficient computation of sensor activation decisions in discrete-event systems. CDC (2013)
David Sears, Karen Rudie
Computing sensor activation decisions from state equivalence classes in discrete-event systems. CDC (2013)
David Sears, Kai Salomaa
Extended Watson-Crick L systems with regular trigger languages and restricted derivation modes. Nat. Comput. 11 (4) (2012)
David Sears, Kai Salomaa
Extended Watson-Crick L Systems with Regular Trigger Languages. UC (2011)