SENSE Publications

The following is a selection of SENSE-related papers for those who want to learn more about the tool, its underlying techniques and ongoing work in the area. See also the lists of all HCS-group papers for more details about the research related to the tool.

Theoretical Background
M. Zamani, M. Mazo Jr, M. Khaled, and A. Abate. Symbolic models for networked control systems. Submitted for publication. (Preprint)
M. Khaled, M. Rungger, M. Zamani. Symbolic models of networked control systems: A feedback refinement relation approach. The 54th Annual Allerton Conference on Communication, Control, and Computing, Sept. 2016.