|
|
Interval centred form for proving stability of non-linear discrete-time system
Auguste Bourgois
,
Luc Jaulin
6th International Workshop on Symbolic-Numeric Methods for Reasoning (SNR 2020), Aug 2020, Vienne (virtual), Austria. pp.1-17
Communication dans un congrès
hal-03173802v1
|
Partager
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Ellipsoidal Enclosure Techniques for a Verified Simulation of Initial Value Problems for Ordinary Differential Equations
Andreas Rauh
,
Auguste Bourgois
,
Luc Jaulin
,
Julia Kersten
Communication dans un congrès
hal-03494430v1
|
Partager
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Verifying Provable Stability Domains for Discrete-Time Systems Using Ellipsoidal State Enclosures
Andreas Rauh
,
Auguste Bourgois
,
Luc Jaulin
Article dans une revue
hal-03670858v1
|
Partager
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Proving Feasibility of a Docking Mission: A Contractor Programming Approach
Auguste Bourgois
,
Simon Rohou
,
Luc Jaulin
,
Andreas Rauh
Article dans une revue
hal-03647551v1
|
Partager
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Union and Intersection Operators for Thick Ellipsoid State Enclosures: Application to Bounded-Error Discrete-Time State Observer Design
Andreas Rauh
,
Auguste Bourgois
,
Luc Jaulin
Article dans une revue
hal-03174014v1
|
Partager
Gmail
Facebook
Twitter
LinkedIn
More
|