A BDI Modeling Approach for Decision Support in Supply Chain Quality Inspection

Yan, Jiaqi; Li, Xin; Sun, Sherry; Shi, Yani; Wang, Huaiqing

doi:10.1109/tsmc.2017.2756105

Cited by 12 publications

(11 citation statements)

References 40 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The BDI model of agency remains an actively studied and used model up to this day. Most recent applications include multiagent system organizations (Keogh and Sonenberg 2020), supply chain quality inspection (Yan et al 2020), and traffic simulations (Ru ¨b and Dunin-Ke ˛plicz 2020).…”

Section: Related Literaturementioning

confidence: 99%

Modal context restriction for multiagent BDI logics

Dziubiński

2021

Artif Intell Rev

View full text Add to dashboard Cite

We present and discuss a novel language restriction for modal logics for multiagent systems, called modal context restriction, that reduces the complexity of the satisfiability problem from EXPTIME complete to NPTIME complete. We focus on BDI multimodal logics that contain fix-point modalities like common beliefs and mutual intentions together with realism and introspection axioms. We show how this combination of modalities and axioms affects complexity of the satisfiability problem and how it can be reduced by restricting the modal context of formulas.

show abstract

Section: Related Literaturementioning

confidence: 99%

Modal context restriction for multiagent BDI logics

Dziubiński

2021

Artif Intell Rev

View full text Add to dashboard Cite

show abstract

“…Quality Inspection (QI) is often used to verify product integrity as it moves upstream and can be useful in detecting instances of fraud. However, testing policies (technique selection) are often known to the supplier and attempts to subvert them are common [17]. QI is constrained by physical SC characteristics such as the high volumes of assets, large size and geographical distribution.…”

Section: A Fraud In Supply Chainsmentioning

confidence: 99%

“…Inspection of assets, processes and people can be found in many forms across the SC. QI is employed by both the manufacturer and consumer of a product to verify if an agreed upon standard or requirements have been met [17]. SC partners may audit each other by inspecting facilities to ensure they meet the standards agreed upon within their contractual obligations [14].…”

Section: B Supply Chain Quality Inspectionmentioning

confidence: 99%

“…The variety of different SC assets illustrate the scale of possible locations available for inspection and corresponding techniques required. Given the size and dynamic nature of SCs, the key problem is in planning when, how, and where to inspect or the inspection resource allocation problem [18] [17].…”

Section: B Supply Chain Quality Inspectionmentioning

confidence: 99%

“…Approaches to manage QI resources often have statistical basis [17], as defects in products and the processes that manufacture and inspect them are considered inevitable due to the stochastic properties of the natural world [23]. Inspection can occur considering a probability distribution.…”

Section: B Supply Chain Quality Inspectionmentioning

confidence: 99%

See 2 more Smart Citations

Towards Adaptive Inspection for Fraud in I4.0 Supply Chains

Welsh

Alrimawi

Farahani

et al. 2021

2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA )

View full text Add to dashboard Cite

The effective functioning of society is increasingly reliant on supply chains which are susceptible to fraud, such as the distribution of adulterated products. Inspection is a key tool for mitigating fraud, however it has traditionally been constrained by physical characteristics of supply chains such as their size and geographical distribution. The increasingly cyber-physical nature of supply chains, their autonomy, and their data richness, extends their attack surfaces and thus increases opportunities for fraud. However, it also presents new opportunities for increased and dynamic inspection, which in turn requires more targeted and flexible inspection regimes. In this paper we explore opportunities to engineer adaptive inspection of cyber-physical supply chains to support efforts to reduce fraud. Through using structural representations of supply chains (topological models) we propose defining optimal inspection zones. Such zones circumscribe assets of interest to optimise observation while reducing the intrusiveness of inspection. Using a motivating example of adulterated pharmaceuticals and a proof-of-concept tool we illustrate adaptive inspection, and surface challenges to its realisation, such as value metrics, forensic readiness integration and managing contrasting local and global perspectives.

show abstract

Robust distributedH_∞filtering over an uncertain sensor network with multiple fading measurements and varying sensor delays

Hedayati

Rahmani

2019

Intl J Robust & Nonlinear

View full text Add to dashboard Cite

Summary In this paper, the problem of robust distributed H∞ filtering is investigated for state‐delayed discrete‐time linear systems over a sensor network with multiple fading measurements, random time‐varying communication delays, and norm‐bounded uncertainties in all matrices of the system. The diagonal matrices, whose elements are individual independent random variables, are utilized to describe the multiple fading measurements. Furthermore, the Bernoulli‐distributed white sequences are introduced to model the random occurrence of time‐varying communication delays. In the proposed filtering approach, the stability of the estimation error system is first shown by the Lyapunov stability theory and the H∞ performance is then achieved using a linear matrix inequality method. Finally, two numerical examples are given to show the effectiveness and performance of the proposed approach.

show abstract

A BDI Modeling Approach for Decision Support in Supply Chain Quality Inspection

Cited by 12 publications

References 40 publications

Modal context restriction for multiagent BDI logics

Modal context restriction for multiagent BDI logics

Towards Adaptive Inspection for Fraud in I4.0 Supply Chains

Robust distributedH_∞filtering over an uncertain sensor network with multiple fading measurements and varying sensor delays

Contact Info

Product

Resources

About

A BDI Modeling Approach for Decision Support in Supply Chain Quality Inspection

Cited by 12 publications

References 40 publications

Modal context restriction for multiagent BDI logics

Modal context restriction for multiagent BDI logics

Towards Adaptive Inspection for Fraud in I4.0 Supply Chains

Robust distributedH∞filtering over an uncertain sensor network with multiple fading measurements and varying sensor delays

Contact Info

Product

Resources

About

Robust distributedH_∞filtering over an uncertain sensor network with multiple fading measurements and varying sensor delays