Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

80

CAV
2008
Springer

106views Hardware» more CAV 2008»

Computing Differential Invariants of Hybrid Systems as Fixedpoints

15 years 4 months ago

Computing Differential Invariants of Hybrid Systems as Fixedpoints

Download reports-archive.adm.cs.cmu.edu

André Platzer, Edmund M. Clarke

Real-time Traffic

CAV 2008 | Hardware |

claim paper

Related Content

» Differential Dynamic Logics

» Constructing Invariants for Hybrid Systems

» Power and AreaEfficient Unified Computation of Vector and Elementary Functions for Handhel...

» Static Analysis for StateSpace Reduction of Polygonal Hybrid Systems

» Automatic invariant generation for hybrid systems using ideal fixed points

» Logics of Dynamical Systems

» A Fused Hybrid FloatingPoint and FixedPoint DotProduct for FPGAs

» Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Appro...

» A passive 2DOF walker Finding gait cycles using virtual holonomic constraints

Post Info
More Details (n/a)

Added	12 Oct 2010
Updated	12 Oct 2010
Type	Conference
Year	2008
Where	CAV
Authors	André Platzer, Edmund M. Clarke

Comments (0)