Extended Watson-Crick L Systems with Regular Trigger Languages. - David Sears 001; Kai Salomaa (UC, 2011)

Extended Watson-Crick L systems with regular trigger languages and restricted derivation modes. - David Sears 001; Kai Salomaa (Nat. Comput., 2012)

Efficient computation of sensor activation decisions in discrete-event systems. - David Sears 001; Karen Rudie (CDC, 2013)

Computing sensor activation decisions from state equivalence classes in discrete-event systems. - David Sears 001; Karen Rudie (CDC, 2013)

On computing indistinguishable states of nondeterministic finite automata with partially observable transitions. - David Sears 001; Karen Rudie (CDC, 2014)

Minimal sensor activation and minimal communication in discrete-event systems. - David Sears 001; Karen Rudie (Discret. Event Dyn. Syst., 2016)

Computing observers from observation policies in discrete-event systems. - David Sears 001; Karen Rudie (Discret. Event Dyn. Syst., 2018)

Dynamic Observation in Discrete-Event Systems. - David Sears 001 (2018)