Incremental verification and synthesis of discrete-event systems guided by counter-examples
Files
Citation
Export citationBrandin, B., Malik, R. & Malik, P. (2004). Incremental verification and synthesis of discrete-event systems guided by counter-examples. IEEE Transactions on Control Systems Technology, 12(3), 387-401.
Permanent Research Commons link: https://hdl.handle.net/10289/1300
Abstract
This article presents new approaches to system verification and synthesis based on subsystem verification and the novel combined use of counterexamples and heuristics to identify suitable subsystems incrementally. The scope of safety properties considered is limited to behavioral inclusion and controllability. The verification examples considered provide a comparison of the approaches presented with straightforward state exploration and an understanding of their applicability in an industrial context.
Date
2004Type
Publisher
Institute of Electrical and Electronics Engineers, Inc. (IEEE Inc.)
Rights
Copyright IEEE 2004