Hybridization methods for the analysis of nonlinear systems (Q868432): 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.1007/s00236-006-0035-7 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2154679417 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The algorithmic analysis of hybrid systems / 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: A theory of timed automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4329974 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4953376 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4806208 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hybrid Systems: Computation and Control / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4417974 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reachability analysis of dynamical systems having piecewise-constant derivatives / rank
 
Normal rank
Property / cites work
 
Property / cites work: Impulse differential inclusions: a viability approach to hybrid systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4953384 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A unified framework for hybrid control: model and optimal control theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4249565 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hybrid Systems: Computation and Control / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal Methods in Computer-Aided Design / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hybrid Systems: Computation and Control / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hybrid computation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4385542 / 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: Reachability Analysis Using Polygonal Projections / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4552472 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4804911 / rank
 
Normal rank
Property / cites work
 
Property / cites work: HyTech: A model checker for hybrid systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: What's decidable about hybrid automata? / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4837102 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computation of piecewise quadratic Lyapunov functions for hybrid systems / 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: Some Combinatorial Lemmas in Topology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4953393 / 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: Uppaal in a nutshell / rank
 
Normal rank
Property / cites work
 
Property / cites work: Switching in systems and control / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4002642 / 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: Hybrid Systems: Computation and Control / rank
 
Normal rank
Property / cites work
 
Property / cites work: Analysis of Non-polynomial Systems Using the Sum of Squares Decomposition / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nonlinear systems. Analysis, stability, and control / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4333039 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4249574 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4418864 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4736610 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hybrid Systems: Computation and Control / rank
 
Normal rank
Property / cites work
 
Property / cites work: An introduction to hybrid dynamical systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Kronos: A verification tool for real-time systems / rank
 
Normal rank

Latest revision as of 14:26, 25 June 2024

scientific article
Language Label Description Also known as
English
Hybridization methods for the analysis of nonlinear systems
scientific article

    Statements

    Hybridization methods for the analysis of nonlinear systems (English)
    0 references
    0 references
    0 references
    0 references
    5 March 2007
    0 references
    approximation method
    0 references
    hybridization construction methods
    0 references
    convergence rate
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers