Mining requirements from closed-loop control models
Work
Year: 2013
Type: article
Abstract: A significant challenge to the formal validation of software-based industrial control systems is that system requirements are often imprecise, non-modular, evolving, or even simply unknown. We propose... more
Institutions University of California, Riverside, University of California, Berkeley, Toyota Motor Corporation (United States)
Cites: 50
Cited by: 81
Related to: 10
FWCI: 10.22
Citation percentile (by year/subfield): 97.28
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green