A Formal Approach to Decision Support

1984 ◽  
pp. 91-118 ◽  
Author(s):  
Shuhshen Pan ◽  
Roger A. Pick ◽  
Andrew B. Whinston
Keyword(s):  
Decision Support ◽  
Formal Approach

scholarly journals Formal Scheduling Method for Zero-Defect Manufacturing

2021 ◽  
Author(s):  
Katarzyna Grobler-Dębska ◽  
Edyta Kucharska ◽  
Jerzy Baranowski
Keyword(s):  
Decision Support ◽  
Defect Detection ◽  
Industry 4.0 ◽  
Formal Method ◽  
Formal Model ◽  
Process Efficiency ◽  
Scheduling Problems ◽  
Unexpected Events ◽  
Formal Approach ◽  
Scheduling Method

Abstract Zero-defect manufacturing (ZDM) is a concept of quality management that recently exhibits a renewal of interest. It aims to improve the process efficiency and the product quality while eliminating defects and minimizing process errors. Most of ZDM applications focus on using the technological achievements of Industry 4.0 to detect and predict defects, forgetting to optimize the schedule on the production line. This paper proposes a formal approach for solving scheduling problems with unexpected events as extension of general frameworks for ZDM strategy. We propose formal method to create predictive-reactive schedule for problems with defect detection and repair. Our formal model combines defect detection, heuristics construction and decision support. We illustrate our results with examples.

Clinical decision support

2013 ◽  
Vol 46 (2) ◽  
pp. 52
Author(s):  
CHRISTOPHER NOTTE ◽  
NEIL SKOLNIK
Keyword(s):  
Decision Support ◽  
Clinical Decision Support ◽  
Clinical Decision

Finding decision support requirements for effective intelligence analysis tools

2005 ◽  
Author(s):  
William Elm ◽  
Scott Potter ◽  
James Tittle ◽  
David Woods ◽  
Justin Grossman ◽  
...  
Keyword(s):  
Decision Support ◽  
Intelligence Analysis ◽  
Analysis Tools
Sign in / Sign up

Export Citation Format

Share Document