Synthesizing Switching Logic Using Constraint Solving

DOI10.1007/978-3-540-93900-9_25MaRDI QIDQ3600482zbMATHOpenAlexFDO

Authors Ankur Taly, Sumit Gulwani, Ashish Tiwari

Publication date 10 February 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.9196

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A computational approach to synthesizing guards for hybrid systems
• Synthesizing switching controllers for hybrid systems by generating invariants
• Automatic synthesis of switching controllers for linear hybrid systems: safety control
• Constraint-Based Approach for Analysis of Hybrid Systems
• scientific article; zbMATH DE number 1794383

Cited in

(11)

• Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants
• Combinatorial methods for invariance and safety of hybrid systems
• Logic Synthesis for Switching Lattices
• Simulation of hybrid circuits in constraint logic programming
• Synthesizing switching controllers for hybrid systems by generating invariants
• Formal modelling, analysis and verification of hybrid systems
• Constraint-Based Approach for Analysis of Hybrid Systems
• Automatic synthesis of switching controllers for linear hybrid systems: safety control
• A search-based procedure for nonlinear real arithmetic
• scientific article; zbMATH DE number 1201684 (Why is no real title available?)
• A Logic Programming Framework for Combinational Circuit Synthesis

This page was built for publication: Synthesizing Switching Logic Using Constraint Solving

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