A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf
.
Safety verification for linear systems
2013
2013 Proceedings of the International Conference on Embedded Software (EMSOFT)
An embedded software controller is safe if the composition of the controller and the plant does not reach any unsafe state starting from legal initial states (in an unbounded time horizon). Linear systems -specified using linear ordinary differential or difference equations -form an important class of models for such control systems. We present a new decidability result for safety verification of linear systems. Our decidability result assumes that the set of initial states and the set of
doi:10.1109/emsoft.2013.6658585
dblp:conf/emsoft/DuggiralaT13
fatcat:r42i4jchdbfphjep757m5f5yme