Verifying analog oscillator circuits using forward/backward abstraction refinement

Keyphrases

• Forward-backward 100%
• Oscillator Circuit 100%
• Abstraction Refinement 100%
• Analog Oscillator 100%
• Analog Circuits 50%
• Limit Cycle Oscillation 50%
• Continuous State Space 50%
• Reachability 50%
• Verification Method 50%
• Runtime Reduction 50%
• Invariant Set 50%
• Memory Reduction 50%
• Third-order Model 50%
• Backward Reachability 50%
• Oscillation Behavior 50%
• Differential VCO 50%
• Verification of Hybrid Systems 50%
• Refining Partitions 50%

Computer Science

• Analog Circuit 100%
• State Space 100%
• Invariant 100%