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

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(5 intermediate revisions by 4 users not shown)
Property / author
 
Property / author: Arjan J. Van der Schaft / rank
Normal rank
 
Property / author
 
Property / author: Arjan J. Van der Schaft / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2025192585 / rank
 
Normal rank
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
links / mardi / namelinks / mardi / name
 

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