Cyber-Physical Systems最新文献_第9页

Control-based event-driven bandwidth allocation scheme for video-surveillance systems 基于控制的事件驱动视频监控系统带宽分配方案

Cyber-Physical Systems Pub Date : 2021-03-07 DOI: 10.1080/23335777.2021.1887364

Gautham Nayak Seetanadi, Karl-Erik Årzén, M. Maggio

{"title":"Control-based event-driven bandwidth allocation scheme for video-surveillance systems","authors":"Gautham Nayak Seetanadi, Karl-Erik Årzén, M. Maggio","doi":"10.1080/23335777.2021.1887364","DOIUrl":"https://doi.org/10.1080/23335777.2021.1887364","url":null,"abstract":"ABSTRACT Modern computer systems consist of large number of entities connected through a shared resource. One such system is a video surveillance network consisting of a set of cameras and a network manager. The surveillance cameras capture a stream of images, encode them with a quality factor and transmit them to the manager over a shared constrained network. The central manager allocates bandwidth to the cameras in a fair manner using a threshold based game-theoretic approach. The presence of these multiple control loops that interact with each other leads to complexity in providing performance and safety guarantees. Our previous work explored performance of the event-based manager using model checking to verify relevant properties of linear models. In this paper we build on our previous work by verifying complex camera models that capture uncertainties during image capture. We model the uncertainties using probabilistic Markov Decision Processes (MDPs) and verify relevant properties of the system. We also evaluate system performance for different system parameters with varying triggering thresholds, showing the advantage of model checking for safe and informed parameter selection. Finally, we evaluate the effect of varying thresholds on manager interventions by capturing images on a commercial off-the-shelf (COTS) camera test-bed.","PeriodicalId":37058,"journal":{"name":"Cyber-Physical Systems","volume":"1 1","pages":"111 - 137"},"PeriodicalIF":0.0,"publicationDate":"2021-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88368510","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

Indel-K2P: a modified Kimura 2 Parameters (K2P) model to incorporate insertion and deletion (Indel) information in phylogenetic analysis Indel-K2P:一种改良的Kimura 2参数(K2P)模型，用于系统发育分析中包含插入和删除(Indel)信息

Cyber-Physical Systems Pub Date : 2021-02-16 DOI: 10.1080/23335777.2021.1879274

Asim Kumar Mahadani, Shashank Awasthi, G. Sanyal, P. Bhattacharjee, S. Pippal

{"title":"Indel-K2P: a modified Kimura 2 Parameters (K2P) model to incorporate insertion and deletion (Indel) information in phylogenetic analysis","authors":"Asim Kumar Mahadani, Shashank Awasthi, G. Sanyal, P. Bhattacharjee, S. Pippal","doi":"10.1080/23335777.2021.1879274","DOIUrl":"https://doi.org/10.1080/23335777.2021.1879274","url":null,"abstract":"ABSTRACT Evolutionary models are widely used to estimate the evolutionary relationship between the various biological taxa . Majority of the existing evolutionary models ignore insertion and deletion (indel) event, which reduces the computational difficulties, but at the same time, it causes loss of valuable phylogenetic information. In this study, we have developed a modified Kimura 2 parameters (K2P) model to utilise the indel information in phylogenetic tree construction especially in case of low substitution rate sequences Indel rich highly similar DNA sequences (trnL-trnF intergenic spacer region) of Phalaenopsis were collected from Genbank and to test the efficiency of the model in phylogenetic. Our developed Indel-K2P model and K2P model were implemented in MATLAB and calculated the bootstrap value and Robinson-Foulds (RF) distance to test the confidence and accuracy of phylogenetic tree topology. The phylogenetic trees constructed within the framework of Indel-K2P model, exhibited 92.66% accuracy and 40.9% root node confidence while the K2P model without indel shows less accuracy and less root node confidence. Our results indicate that modified Kimura 2 parameters with indel (Indel-K2P) model performed better than Kimura 2 Parameters (K2P) in phylogenetic tree construction for indel rich DNA sequences.","PeriodicalId":37058,"journal":{"name":"Cyber-Physical Systems","volume":"49 1","pages":"32 - 44"},"PeriodicalIF":0.0,"publicationDate":"2021-02-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77955664","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 22

A constraint partially observable semi-Markov decision process for the attack–defence relationships in various critical infrastructures 关键基础设施中攻防关系的约束部分可观察半马尔可夫决策过程

Cyber-Physical Systems Pub Date : 2021-02-08 DOI: 10.1080/23335777.2021.1879935

Nadia Niknami, Jie Wu

{"title":"A constraint partially observable semi-Markov decision process for the attack–defence relationships in various critical infrastructures","authors":"Nadia Niknami, Jie Wu","doi":"10.1080/23335777.2021.1879935","DOIUrl":"https://doi.org/10.1080/23335777.2021.1879935","url":null,"abstract":"ABSTRACT Gaining a better understanding of the relationship between attackers and defenders in cybersecurity domains to protect computer systems is of great importance. From the defender’s side, it is critical to choose the best reaction to maintain the system in a safe state, based on a given estimate of the attacker. One of the main challenges is that the defender may not be able to correctly detect a current attack due to incomplete and noisy information . Another important factor in the attack-defence interaction is the limited budget of both attackers and defenders. . This paper focuses on an approach based on interactions between the attacker and defender by considering the problem of uncertainty and limitation of resources for the defender, given that the attacker’s actions are given in all states of a Markov chain. The best actions by the defender can be characterised by a Markov Decision Process in the case of partial observability and importance of time in the expected reward, which is a Partially Observable Semi-Markov Decision model. Our simulation on a trace-based data set demonstrates that the proposed approach handles analysing interactions of the attacker and defender with limited budgets foralong with imperfect information for the defender.","PeriodicalId":37058,"journal":{"name":"Cyber-Physical Systems","volume":"42 1","pages":"85 - 110"},"PeriodicalIF":0.0,"publicationDate":"2021-02-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86424861","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Optimal controller design for DC microgrid based on state-dependent Riccati Equation (SDRE) approach 基于状态相关Riccati方程(SDRE)的直流微电网最优控制器设计

Cyber-Physical Systems Pub Date : 2021-01-02 DOI: 10.1080/23335777.2020.1811381

Erfan Shahradfar, A. Fakharian

引用次数: 5

The Software for Formation of Technical Function Assessments Based on the Patent Analysis 基于专利分析的技术功能评价形成软件

Cyber-Physical Systems Pub Date : 2021-01-01 DOI: 10.1007/978-3-030-67892-0_12

D. Korobkin, S. Fomenkov, A. Zlobin, Dmitriy V. Shabanov, A. Golovanchikov

引用次数: 0

SEVA: Secure E-Voting Application in Cyber Physical System 安全电子投票在网络物理系统中的应用

Cyber-Physical Systems Pub Date : 2020-11-12 DOI: 10.1080/23335777.2020.1837250

R. Johari, Arvinder Kaur, Mohammad S. Hashim, P. K. Rai, Kanika Gupta

引用次数: 3

Exponential stabilisation for nonlinear PDE systems via sampled-data static output feedback control 基于采样数据静态输出反馈控制的非线性PDE系统指数稳定

Cyber-Physical Systems Pub Date : 2020-11-10 DOI: 10.1080/23335777.2020.1837249

Dongxiao Hu, Xiaona Song, Mi Wang, Junwei Lu

引用次数: 1

Memory-loss resilient controller design for temporal logic constraints 时间逻辑约束下的记忆丢失弹性控制器设计

Cyber-Physical Systems Pub Date : 2020-10-24 DOI: 10.1080/23335777.2020.1837248

Matthew Abate, W. Stuckey, L. Lerner, Eric Féron, Samuel Coogan

引用次数: 0

Flexible, decentralised access control for smart buildings with smart contracts 具有智能合约的智能建筑灵活、分散的访问控制

Cyber-Physical Systems Pub Date : 2020-10-16 DOI: 10.1080/23335777.2021.1922502

Leepakshi Bindra, Kalvin Eng, Omid Ardakanian, Eleni Stroulia

{"title":"Flexible, decentralised access control for smart buildings with smart contracts","authors":"Leepakshi Bindra, Kalvin Eng, Omid Ardakanian, Eleni Stroulia","doi":"10.1080/23335777.2021.1922502","DOIUrl":"https://doi.org/10.1080/23335777.2021.1922502","url":null,"abstract":"ABSTRACT Large commercial buildings are complex cyber-physical systems containing expensive and critical equipment that ensure the safety and comfort of their numerous occupants. Yet occupant and visitor access to spaces and equipment within these buildings are still managed through unsystematic, inefficient, and human-intensive processes. As a standard practice, long-term building occupants are given access privileges to rooms and equipment based on their organisational roles, while visitors have to be escorted by their hosts. This approach is conservative and inflexible. In this paper, we describe a methodology that can flexibly and securely manage building access privileges for long-term occupants and short-term visitors alike, taking into account the risk associated with accessing each space within the building. Our methodology relies on blockchain smart contracts to describe, grant, audit, and revoke fine-grained permissions for building occupants and visitors, in a decentralised fashion. The smart contracts are specified through a process that leverages the information compiled from Brick and BOT models of the building. We illustrate the proposed method through a typical application scenario in the context of a real office building and argue that it can greatly reduce the administration overhead, while, at the same time, providing fine-grained, auditable access control. CCS Concepts: Security and privacy; Security services; Computer systems organisation; Embedded and cyber-physical systems; Sensors and actuators","PeriodicalId":37058,"journal":{"name":"Cyber-Physical Systems","volume":"114 1","pages":"286 - 320"},"PeriodicalIF":0.0,"publicationDate":"2020-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79886403","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 6

Unsupervised learning of depth and ego-motion with absolutely global scale recovery from visual and inertial data sequences 深度和自我运动的无监督学习，从视觉和惯性数据序列中恢复绝对全局尺度

Cyber-Physical Systems Pub Date : 2020-09-15 DOI: 10.1080/23335777.2020.1811386

Ya-ru Meng, Qiyu Sun, Chongzhen Zhang, Yang Tang

{"title":"Unsupervised learning of depth and ego-motion with absolutely global scale recovery from visual and inertial data sequences","authors":"Ya-ru Meng, Qiyu Sun, Chongzhen Zhang, Yang Tang","doi":"10.1080/23335777.2020.1811386","DOIUrl":"https://doi.org/10.1080/23335777.2020.1811386","url":null,"abstract":"ABSTRACT In this paper, we propose an unsupervised learning method for jointly estimating monocular depth and ego-motion, which is capable to recover the absolute scale of global camera trajectory. In order to solve the general problems of scale drift and scale ambiguity of monocular camera, we fuse geometric movement data from inertial measurement unit (IMU), and use Bi-directional Long Short-Term Memory (BiLSTM) to extract temporal features. Besides, we add a lightweight and efficient attention mechanism, Convolutional Block Attention Module (CBAM), to Convolutional Neural Networks (CNNs) to complete the extraction of image features. Considering the scenes with severe illumination changes, ambiguous structures, moving objects and occlusions, especially scenes with progressively-variant textures, the geometric features can provide adaptive estimation results in the case of the degeneration of visual features. Experiments on the KITTI driving dataset reveal that our scheme achieves promising results in the estimation of camera pose and depth. Moreover, the absolute scale recovery for the global camera trajectory is effective.","PeriodicalId":37058,"journal":{"name":"Cyber-Physical Systems","volume":"14 1","pages":"133 - 158"},"PeriodicalIF":0.0,"publicationDate":"2020-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84326744","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0