CSP solver for Safe PLC Controller: Application to manufacturing systems
暂无分享,去创建一个
[1] Sharad Malik,et al. Boolean Satisfiability Solvers and Their Applications in Model Checking , 2015, Proceedings of the IEEE.
[2] Bernard Riera,et al. CONTROL SYNTHESIS BASED ON SAFETY BOOLEAN GUARDS FOR MANUFACTURING SYSTEMS: APPLICATION TO A SORTING SYSTEM , 2014 .
[3] S. Janson,et al. Wiley‐Interscience Series in Discrete Mathematics and Optimization , 2011 .
[4] Krzysztof R. Apt,et al. Principles of constraint programming , 2003 .
[5] Christos G. Cassandras,et al. Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.
[6] Bernard Riera,et al. Prevention of human control errors by robust filter for manufacturing system , 2010, IFAC HMS.
[7] Wang Yi,et al. UPPAAL Implementation Secrets , 2002, FTRTFT.
[8] J. Hooker,et al. Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction , 2000 .