Compositional analysis for linear systems (Q609530): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q3992568 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bisimilar linear systems. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Equivalence of Dynamical Systems by Bisimulation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hierarchically consistent control systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Controller synthesis for bisimulation equivalence / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proofs of Networks of Processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Compositional analysis for linear control systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: \(L_2\)-gain and passivity techniques in nonlinear control / rank
 
Normal rank

Latest revision as of 12:30, 3 July 2024

scientific article
Language Label Description Also known as
English
Compositional analysis for linear systems
scientific article

    Statements

    Compositional analysis for linear systems (English)
    0 references
    0 references
    1 December 2010
    0 references
    compositional reasoning
    0 references
    assume-guarantee reasoning
    0 references
    linear systems
    0 references
    simulation relations
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references