Abstract
In this paper, we show how the problem of synthesis of a controller for a dynamic system that must satisfy some safety properties, possibly in a non deterministic and partially observable setting, can be modeled as a pure constraint satisfaction problem, by replacing the reachability property by a so-called weak reachability property. We show, first on a toy illustrative example, then on a real-world example of control of a satellite subsystem, how standard constraint programming tools can be used to model and solve the controller synthesis problem. Finally, we conclude with the strengths and weaknesses of the proposed approach.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bellman, R.: Dynamic Programming. Princeton University Press, Princeton (1957)
Bertoli, P., Cimatti, A., Roveri, M., Traverso, P.: Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. In: Proc. of IJCAI 2001, pp. 473–478 (2001)
Bonet, B., Palacios, H., Geffner, H.: Automatic Derivation of Memoryless Policies and Finite-State Controllers Using Classical Planners. In: Proc. of ICAPS 2009 (2009)
Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)
Damiani, S., Verfaillie, G., Charmeau, M.C.: An Earth Watching Satellite Constellation: How to Manage a Team of Watching Agents with Limited Communications. In: Proc. of AAMAS 2005, pp. 455–462 (2005)
Dantzig, G.: Linear Programming and Extensions. Princeton University Press, Princeton (1963)
Esterel Technologies: SCADE, http://www.esterel-technologies.com/
Ghallab, M., Nau, D., Traverso, P.: Automated Planning: Theory and Practice. Morgan Kaufmann, San Francisco (2004)
Halbwachs, N.: Synchronous Programming of Reactive Systems. Kluwer, Dordrecht (1993)
IBM ILOG: Cplex optimization studio, http://www-01.ibm.com/software/integration/optimization/cplex-optimization-studio/
Jobstmann, B., Galler, S., Weiglhofer, M., Bloem, R.: Anzu: A Tool for Property Synthesis. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 258–262. Springer, Heidelberg (2007)
Lemaître, M., Verfaillie, G., Pralet, C., Infantes, G.: Synthèse de contrôleur simplement valide dans le cadre de la programmation par contraintes. In: Actes de JFPDA 2010 (2010)
MBP Team: Model Based Planner, http://sra.itc.it/tools/mbp/
Pnueli, A., Rosner, R.: On the Synthesis of a Reactive Module. In: Proc. of POPL 1989, pp. 179–190 (1989)
Pralet, C., Lemaître, M., Verfaillie, G., Infantes, G.: Synthesizing Controllers for Autonomous Systems: A Constraint-based Approach. In: Proc. of iSAIRAS 2010 (2010)
Pralet, C., Verfaillie, G., Lemaître, M., Infantes, G.: Constraint-based Controller Synthesis in Non-deterministic and Partially Observable Domains. In: Proc. of ECAI 2010, pp. 681–686 (2010)
Puterman, M.: Markov Decision Processes, Discrete Stochastic Dynamic Programming. John Wiley & Sons, Chichester (1994)
Ramadge, P., Wonham, W.: The Control of Discrete Event Systems. Proc. of the IEEE 77(1), 81–98 (1989)
RATSY Team: RATSY: Requirements Analysis Tool with Synthesis, http://rat.fbk.eu/ratsy/
Rossi, F., Beek, P.V., Walsh, T. (eds.): Handbook of Constraint Programming. Elsevier, Amsterdam (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Verfaillie, G., Pralet, C. (2011). Constraint Programming for Controller Synthesis. In: Lee, J. (eds) Principles and Practice of Constraint Programming – CP 2011. CP 2011. Lecture Notes in Computer Science, vol 6876. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23786-7_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-23786-7_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-23785-0
Online ISBN: 978-3-642-23786-7
eBook Packages: Computer ScienceComputer Science (R0)