Automatic invariant generation for hybrid systems using ideal fixed points (Q2985884): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1145/1755952.1755984 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2137258051 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hybrid Systems: Computation and Control / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hybrid Systems: Computation and Control / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4953376 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Marked directed graphs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach / rank
 
Normal rank
Property / cites work
 
Property / cites work: Unfoldings: A partial-order approach to model checking. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4503930 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Discrete-time control for rectangular hybrid automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: What's decidable about hybrid automata? / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication / rank
 
Normal rank

Latest revision as of 18:34, 13 July 2024

scientific article
Language Label Description Also known as
English
Automatic invariant generation for hybrid systems using ideal fixed points
scientific article

    Statements

    Identifiers

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