The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Security issues in Cyber-Physical Systems (CPS) have gained increasing attention in recent years due to the vulnerability of CPS to cyber attack. This paper focuses on designing an intelligent online attack, which can compromise a sensor, eavesdrop measurements and inject false feedback in- formation, against remote state estimation. From the viewpoint of the attacker, we design an event-based attack...
In this paper, we investigate the modeling and verification of real time systems using a case study on transmission protocol, CSMA/CD. Modeling and verification of real time systems is hot research topic which has practical implications. Such systems are considered as mission critical, as its correctness within timed constraints are of great importance. Through modeling and verifying CSMA/CD protocol...
In this study, we consider an unknown discrete-time, linear time-invariant, autonomous system and characterise, the minimal number of discrete-time steps necessary to compute the asymptotic final value of a state. The results presented in this paper have a direct link with the celebrated final value theorem. We apply these results to the design of an algorithm for minimal-time distributed consensus...
A Mesic respiratory system parameter identification is studied in this paper for providing the useful theory and data support in the improvement of human respiratory model accuracy, respiratory disease diagnosis and design of the new ventilator. The Mesic respiratory system model is established based on Simulink platform. The least-square algorithm is then used to do the static and dynamic parameter...
We consider the problem of state estimation of a discrete time process over a packet dropping network. Previous pioneering work on Kalman filtering with intermittent observations is concerned with the asymptotic behavior of E[Pk], i.e., the expected value of the error covariance, for a given packet arrival rate. We consider a different performance metric, Pr[Pk les M], i.e., the probability that P...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.