Hybrid Systems: From Verification to Falsification

DOI10.1007/978-3-540-73368-3_48MaRDI QIDQ5429337zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(16)

• Falsification of temporal properties of hybrid systems using the cross-entropy method
• scientific article; zbMATH DE number 1303060 (Why is no real title available?)
• scientific article; zbMATH DE number 1905118 (Why is no real title available?)
• Automated Technology for Verification and Analysis
• 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
• Coverage-guided test generation for continuous and hybrid systems
• Applications of MetiTarski in the Verification of Control and Hybrid Systems
• scientific article; zbMATH DE number 7361375 (Why is no real title available?)
• 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)