2017
DOI: 10.1109/tii.2017.2670146
|View full text |Cite
|
Sign up to set email alerts
|

Automatic Inference of Finite-State Plant Models From Traces and Temporal Properties

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
4
1

Citation Types

0
49
0

Year Published

2017
2017
2023
2023

Publication Types

Select...
3
2
2

Relationship

2
5

Authors

Journals

citations
Cited by 38 publications
(49 citation statements)
references
References 22 publications
0
49
0
Order By: Relevance
“…The "Algorithm" component constructs a state machine based on the work described in [5], [6]. It uses a set of triggers, in our case Commands and Signals, and a set of listed actions, in our case Replies and Notifications.…”
Section: B Algorithmmentioning
confidence: 99%
See 1 more Smart Citation
“…The "Algorithm" component constructs a state machine based on the work described in [5], [6]. It uses a set of triggers, in our case Commands and Signals, and a set of listed actions, in our case Replies and Notifications.…”
Section: B Algorithmmentioning
confidence: 99%
“…Our algorithm is based on regular inference [4]. In particular, we use the algorithms described in [5], [6].…”
Section: Introductionmentioning
confidence: 99%
“…Having only the controller model, one can verify systems in open loop [2]: the controller's correctness is checked without considering the environment where it is operating. If the plant model is also available, the more natural closed-loop modeling and verification [3]- [6] become possible.…”
Section: Introductionmentioning
confidence: 99%
“…For plant models in particular, a model constructed manually might be too detailed and thus difficult to verify, and adjusting it to make verification feasible would require even more effort. Thus, approaches have been proposed to construct plant models automatically [6], [7]. This paper builds on top of the work [6] and presents two plant model construction methods whose main advantage over [6] is the degree of scalability, which was limited in [6] due to the use of SAT solvers.…”
Section: Introductionmentioning
confidence: 99%
See 1 more Smart Citation