{"type":"ScholarlyArticle","title":"Simulation of Hybrid Circuits in Constraint Logic Programming","authors":[{"name":"Thomas Graf","slug":"thomas-graf","given":"Thomas","family":"Graf","affiliation":""},{"name":"Pascal Van Hentenryck","slug":"pascal-van-hentenryck","given":"Pascal","family":"Van Hentenryck","affiliation":""},{"name":"Claudine Pradelles","slug":"claudine-pradelles","given":"Claudine","family":"Pradelles","affiliation":""},{"name":"Laurent Zimmer","slug":"laurent-zimmer","given":"Laurent","family":"Zimmer","affiliation":""}],"abstract":"This paper presents LOGISIM, a CAD tool to simulate the temporal behaviour of hybrid circuits containing electro-mechanical, electrohydraulic, hydro-mechanic, and digital control devices. LOGISIM combines the advantages of both qualitative and quantitative reasoning by producing a high-level description (discrete states) of the circuit behaviour while reasoning at the quantitative level (physical values). In addition, device models in LOGISIM follow a particular description methodology proposed to avoid introducing an artificial computational complexity in the simulation. LOGISIM is fully implemented in the constraint logic programming language CHIP. The constraint-solving techniques of CHIP used in LOGISIM, i.e. an incremental decision procedure for linear constraints over rational numbers, consistency techniques on domain-variables and conditional propagation, are all necessary to solve the problem efficiently. LOGISIM has been applied successfully to real-life industrial circuits from aerospace industry in the ELSA project and clearly demonstrates the potential of this kind of tool to support the design process for these circuits .","doi":null,"url":"https://ijcai.org/proceedings/1989/12","pdf":"https://ijcai.org/proceedings/1989/0012.pdf","markdown":"https://ijcai.org/proceedings/1989/12.md","bibtex":"https://ijcai.org/proceedings/1989/bibtex/12","volume":{"slug":"1989","title":"Proceedings of the Eleventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1989","url":"https://ijcai.org/proceedings/1989/","year":1989,"location":"Detroit, Michigan, USA","dates":"August 20-25 1989","editors":"N. S. Sridharan","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Tools","track":"Tools","number":12,"pages":{"first":72,"last":76},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}