Synthesizing Switching Logic Using Constraint Solving

DOI10.1007/978-3-540-93900-9_25MaRDI QIDQ3600482zbMATH OpenOpenAlexFDO

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)

• Combinatorial methods for invariance and safety of hybrid systems
• 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
• A Logic Programming Framework for Combinational Circuit Synthesis
• Automatic synthesis of switching controllers for linear hybrid systems: safety control
• scientific article; zbMATH DE number 1201684 (Why is no real title available?)
• Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants
• A search-based procedure for nonlinear real arithmetic
• Logic Synthesis for Switching Lattices
• Simulation of hybrid circuits in constraint logic programming

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)