Synthesizing Switching Logic Using Constraint Solving

DOI10.1007/978-3-540-93900-9_25zbMATH Open1206.68191OpenAlexW2634524329MaRDI QIDQ3600482FDOQ3600482

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

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

Mathematics Subject Classification ID

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

Cited In (10)

• Formal Modelling, Analysis and Verification of Hybrid Systems
• A Logic Programming Framework for Combinational Circuit Synthesis
• Title not available (Why is that?)
• 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
• Constraint-Based Approach for Analysis of Hybrid Systems
• Automatic synthesis of switching controllers for linear hybrid systems: safety control
• Simulation of hybrid circuits in constraint logic programming
• Synthesizing switching controllers for hybrid systems by generating invariants

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)