Hybrid Systems: From Verification to Falsification

DOI10.1007/978-3-540-73368-3_48zbMATH Open1135.68479OpenAlexW1591241081MaRDI QIDQ5429337FDOQ5429337

Authors: Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi 

Publication date: 29 November 2007

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73368-3_48

Recommendations

• Hybrid systems: From verification to falsification by combining motion planning and discrete search
• Linear hybrid system falsification through local search
• Combined global and local search for the falsification of hybrid systems
• Verification of Hybrid Systems
• Automatic Verification of Hybrid Systems with Large Discrete State Space

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence for robotics (68T40)

Cited In (16)

• Falsification of temporal properties of hybrid systems using the cross-entropy method
• Title not available (Why is that?)
• Automated Technology for Verification and Analysis
• Title not available (Why is that?)
• Verifying industrial hybrid systems with \textsc{MathSAT}
• Falsification of LTL Safety Properties in Hybrid Systems
• A computational approach to synthesizing guards for hybrid systems
• The Complete Proof Theory of Hybrid Systems
• Verification of Hybrid Systems
• Time robustness in MTL and expressivity in hybrid system falsification
• Applications of MetiTarski in the Verification of Control and Hybrid Systems
• Coverage-guided test generation for continuous and hybrid systems
• Title not available (Why is that?)
• Hybrid systems: From verification to falsification by combining motion planning and discrete search
• Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
• Hybrid Systems: Computation and Control

This page was built for publication: Hybrid Systems: From Verification to Falsification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5429337)