Mining requirements from closed-loop control models (Q2986909): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q1406261
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / author
 
Property / author: Xiao-qing Jin / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2153024173 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5322945 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model Repair for Probabilistic Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Controlling a Class of Nonlinear Systems on Rectangles / rank
 
Normal rank
Property / cites work
 
Property / cites work: Enhancing model checking in verification by AI techniques / rank
 
Normal rank
Property / cites work
 
Property / cites work: Diagnostic Information for Realizability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Markov decision processes and regular events / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on two problems in connexion with graphs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4472258 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3392273 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Receding horizon control for temporal logic specifications / rank
 
Normal rank

Latest revision as of 19:32, 13 July 2024

scientific article
Language Label Description Also known as
English
Mining requirements from closed-loop control models
scientific article

    Statements

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references