Robust supervisory control of timed discrete event systems under partial observation based on eligible time bounds: The existence conditions ଁ

Abstract This paper addresses a supervisory control problem for uncertain timed discrete event systems (DESs) under partial observation. An uncertain timed DES to be controlled is represented by a set of possible timed models based on the framework of Brandin and Wonham [(1994). Supervisory control of timed discrete event systems. IEEE Transactions on Automatic Control, 39(2), 329-342]. To avoid the state space explosion problem caused by tick events in the timed models, a notion of eligible time bounds is proposed for a single timed model obtained from the set of all possible timed models. Based on this notion, we present the necessary and sufficient conditions for the existence of a robust supervisor achieving a given language specification for the single timed model. Moreover, we show that the robust supervisor can also achieve the specification for any timed model in the set.

Optimal deployments of defense mechanisms for the internet of things

Internet of Things (IoT) devices can be exploited by the attackers as entry points to break into the IoT networks without early detection. Little work has taken hybrid approaches that combine different defense mechanisms in an optimal way to increase the security of the IoT against sophisticated attacks. In this work, we propose a novel approach to generate the strategic deployment of adaptive deception technology and the patch management solution for the IoT under a budget constraint. We use a graphical security model along with three evaluation metrics to measure the effectiveness and efficiency of the proposed defense mechanisms. We apply the multi-objective genetic algorithm (GA) to compute the {\em Pareto optimal} deployments of defense mechanisms to maximize the security and minimize the deployment cost. We present a case study to show the feasibility of the proposed approach and to provide the defenders with various ways to choose optimal deployments of defense mechanisms for the IoT. We compare the GA with the exhaustive search algorithm (ESA) in terms of the runtime complexity and performance accuracy in optimality. Our results show that the GA is much more efficient in computing a good spread of the deployments than the ESA, in proportion to the increase of the IoT devices

Occupational Factors Associated with Changes in the Body Mass Index of Korean Male Manual Workers

OBJECTIVES: This study was carried out to analyze and compare the occupational factors that could influence changes in body mass index (BMI) in male manual workers stratified into short-term and long-term work experience groups. METHODS: The subjects were 299 male manual workers (sampled systematically) from 27 workplaces, who had undergone travelling medical examinations at a university hospital between March 28 and May 10, 2013, and had also undergone medical examinations at the same hospital in 2012. Their general and occupational characteristics were investigated through a structured, self-administered questionnaire. The BMI at each point in time was calculated based on the anthropometric results of the medical examinations. Multiple regression analyses were conducted on outcomes of the BMI change and predictors composed of the general and occupational characteristics, with the subjects stratified into groups with 5 years or less (short-term) versus more than 5 years (long-term) of work experience at the present post. RESULTS: In the short-term work experience group, the BMI increases of 3-shift workers and groups reporting disagreement with feeling “insufficient job control” and “lack of reward” at work, two of the subscales of job stress, were significantly higher than those of daytime workers and high-stress groups, respectively. In the long-term work experience group, However, although the BMI increase for 3-shift workers was also significantly higher than that of daytime workers, none of the job stress factors were significantly associated with a BMI increase, whereas the social factors of education and marital status were significant, and some lifestyle factors (such as smoking and regular exercise) were also significant. CONCLUSION: This study showed that, except for 3-shift work, the factors associated with BMI increase could differ depending on the length of job experience. Consequently, different strategies may be needed for workers with short-term versus long-term job experience when designing interventions for preventing their obesity

Comparison of the Plasma Metabolome Profiles Between the Internal Thoracic Artery and Ascending Aorta in Patients Undergoing Coronary Artery Bypass Graft Surgery Using Gas Chromatography Time-of-Flight Mass Spectrometry.

BackgroundThe left internal thoracic artery (LITA) has been used as the first conduit of choice in coronary artery bypass grafting (CABG) because of excellent long-term patency and outcomes. However, no studies have examined substances other than nitric oxide that could be beneficial for the bypass conduit, native coronary artery or ischemic myocardium. This study was conducted to evaluate differences in metabolic profiles between the LITA and ascending aorta using gas chromatography-time of flight-mass spectrometry (GC-TOF-MS).MethodsTwenty patients who underwent CABG using the LITA were prospectively enrolled. Plasma samples were collected simultaneously from the LITA and ascending aorta. GC-TOF-MS based untargeted metabolomic analyses were performed and a 2-step volcano plot analysis was used to identify distinguishable markers from two plasma metabolome profiles. Semi-quantitative and quantitative analyses were performed using GC-TOF-MS and enzyme-linked immunosorbent assay, respectively, after selecting target metabolites based on the metabolite set enrichment analysis.ResultsInitial volcano plot analysis demonstrated 5 possible markers among 851 peaks detected. The final analysis demonstrated that the L-cysteine peak was significantly higher in the LITA than in the ascending aorta (fold change = 1.86). The concentrations of intermediate metabolites such as L-cysteine, L-methionine and L-cystine in the 'cysteine and methionine metabolism pathway' were significantly higher in the LITA than in the ascending aorta (2.0-, 1.4- and 1.2-fold, respectively). Quantitative analysis showed that the concentration of hydrogen sulfide (H₂S) was significantly higher in the LITA.ConclusionThe plasma metabolome profiles of the LITA and ascending aorta were different, particularly higher plasma concentrations of L-cysteine and H₂S in the LITA