Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems (Q2402231): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Q4953376 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Symbolic reachability computation for families of linear vector fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Counterexample-guided predicate abstraction of hybrid systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decidability of the Reachability for a Family of Linear Vector Fields / 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: Constraint-Based Approach for Analysis of Hybrid Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computing Differential Invariants of Hybrid Systems as Fixedpoints / rank
 
Normal rank
Property / cites work
 
Property / cites work: Barrier certificates revisited / rank
 
Normal rank
Property / cites work
 
Property / cites work: Deductive Verification of Continuous Dynamical Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Verification and synthesis using real quantifier elimination / rank
 
Normal rank
Property / cites work
 
Property / cites work: A “Hybrid” Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example / rank
 
Normal rank
Property / cites work
 
Property / cites work: Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2722048 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer Aided Verification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Non-linear loop invariant generation using Gröbner bases / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logical Analysis of Hybrid Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automatic abstraction of non-linear systems using change of bases transformations / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Differential Operator Approach to Equational Differential Invariants / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Complete Proof Theory of Hybrid Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fixed point for set-valued mappings satisfying an implicit relation in partially ordered metric spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hybrid Systems: Computation and Control / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automatic invariant generation for hybrid systems using ideal fixed points / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates / rank
 
Normal rank
Property / cites work
 
Property / cites work: Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Compositional safety analysis using barrier certificates / rank
 
Normal rank
Property / cites work
 
Property / cites work: Length of Polynomial Ascending Chains and Primitive Recursiveness. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4023642 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5719565 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German / rank
 
Normal rank

Revision as of 08:26, 14 July 2024

scientific article
Language Label Description Also known as
English
Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems
scientific article

    Statements

    Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    6 September 2017
    0 references
    hybrid systems
    0 references
    invariants
    0 references
    non-autonomous systems
    0 references
    polynomial ideals
    0 references
    semi-algebraic sets
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers