Towards Practical Infinite Stream Constraint Programming: Applications and Implementation

Abstract

Siu et al. propose stream CSPs (St-CSPs) as a generalisation of finite domain CSPs to cater for constraints on infinite streams, and a solving algorithm that produces a deterministic Büchi automaton recognising the solution language. As a novel application, we demonstrate how St-CSPs can model mathematically and generate a PID controller for driving a self… (More)
DOI: 10.1007/978-3-319-10428-7_34

Topics

9 Figures and Tables

Cite this paper

@inproceedings{Lee2014TowardsPI, title={Towards Practical Infinite Stream Constraint Programming: Applications and Implementation}, author={Jasper C. H. Lee and Jimmy Ho-Man Lee}, booktitle={CP}, year={2014} }