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.
|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.|