On Formal Methods for Large-Scale Product Configuration
Explore this paper's citation graph
Summary
A novel method based on supervisory control theory for efficient reasoning about product configuration data is proposed, and it was found that search-based Boolean satisfiability solvers with incremental capabilities are well suited for industrial configuration problems.
- Type
- dissertation
- Published
- 2013-01-01
- Cited by
- 9
- References
- 120
- Access
- Open access
- OpenAlex
- https://openalex.org/W307218
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:115754898
Keywords
Correctness, Mass customization, Computer science, Product design specification, Product (mathematics)
References
- The Power of Product Platforms
- Compressing Configuration Data for Memory Limited Devices
- Do SAT Solvers Make Good Configurators?
- Treewidth in Industrial SAT Benchmarks
- SAT-Varible Complexity of Hard Combinatorial Problems
- Using CSP solvers for Partial Configuration in Automotive Configuration Problems
- Analysis and Presentation of Combinatorics in Product Configuration
- A Tutorial on Stålmarck's Proof Procedure for Propositional Logic
- FAST BACKTRACK-FREE PRODUCT CONFIGURATION USING A PRECOMPILED SOLUTION SPACE REPRESENTATION
- Interactive Configuration using Constraint Satisfaction Techniques
- A History of Ancient Philosophy: From the Beginnings to Augustine
- Symbolic Synthesis of Supervisory Controllers
- Principles of automated theorem proving
- Introduction to Discrete Event Systems
- Planning as Satisfiability
- Timing analysis using propositional satisfiability
- Symbolic Supervisory Control of Timed Discrete Event Systems
- Automated Extraction of Inductive Invariants to Aid Model Checking
- Sales Configuration in Business Processes
- Supervisory control of a class of discrete event processes
Cited by
- Formal analysis of product variability and the effects on assembly operations
- From product specification to manufacturing control
- Formulating constraint satisfaction problems for the inspection of configuration rules
- Knowledge Compilation for Model Counting: Affine Decision Trees
- Rule-based optimization and multicriteria decision support for packaging a truck chassis
- Optimization of truck tyres selection
- Interactive Online Configurator via Boolean Satisfiability Modeling
- Modelling and analysis of product platforms and assembly sequences with respect to variability
- Variant mode and effects analysis for effective product family expansion under modular architecture
Related papers
- Product Structure Based Reason Maintenance for Product Configuration
- Efficient Calculation of Optimal Configuration Processes
- Towards a Search-based Interactive Configuration of Cyber Physical System Product Lines
- Configuration Challenges & Issues: A Configuration Process Model to Reduce the Complexity of Software Product Line
- CONFIGURATION MANAGEMENT USING STANDARD TOOLS Possibilities, Limits and Development Potential
- How to Use Configuration Software in “Less Routine Design” Situations? Some Modelling Propositions
- Generation of Predictive Configurations for Production Planning
- From CSP to configuration problems