Control and Diagnosis of Discrete-event Systems with Temporal Logic Specifications

  • Kumar, Ratnesh (PI)

Grants and Contracts Details

StatusFinished
Effective start/end date8/1/01 → 8/15/02