You searched for subject:(cyber physical systems).
Showing records 1 – 30 of
335 total matches.
◁ [1] [2] [3] [4] [5] … [12] ▶
University of Illinois – Urbana-Champaign
1.
Niddodi, Chaitra Prasad.
Secure integration of electric vehicles with the power grid.
Degree: MS, Computer Science, 2018, University of Illinois – Urbana-Champaign
URL: http://hdl.handle.net/2142/101372 
► A wide variety of distributed energy resources (DERs) such as pluggable electric vehicles (EVs), solar arrays, smart buildings, etc. are now being connected to the…
(more)
▼ A wide variety of distributed energy resources (DERs) such as pluggable electric vehicles (EVs), solar arrays, smart buildings, etc. are now being connected to the power grid. Malicious adversaries can use these as entry mechanisms to gain access to the grid with the intention of creating instability in the system. This work focuses on secure integration of DERs with the power grid. To this end, we propose techniques to detect malicious activity when either the DERs or the communication channels between the DERs and the smart grid components are compromised. We propose a
cyber-
physical anomaly detection engine to ensure that critical grid components remain secure, and hence, safe. Specifically, we have focused on the vehicle-to-grid (V2G) system. In this system, aggregators are the critical components through which DERs such as EVs are connected to the grid. We have developed a prototype anomaly detection engine for aggregators that manage/communicate with the EVs. Since the V2G system is time-sensitive, the anomaly detection engine also monitors the timing requirements of the system by checking the frequency constraints on messages at the aggregator apart from monitoring the
cyber and
physical data constraints to ensure safety of the aggregator.
Advisors/Committee Members: Mohan, Sibin (advisor).
Subjects/Keywords: Cyber-Physical Systems
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Niddodi, C. P. (2018). Secure integration of electric vehicles with the power grid. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/101372
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Niddodi, Chaitra Prasad. “Secure integration of electric vehicles with the power grid.” 2018. Thesis, University of Illinois – Urbana-Champaign. Accessed January 25, 2021.
http://hdl.handle.net/2142/101372.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Niddodi, Chaitra Prasad. “Secure integration of electric vehicles with the power grid.” 2018. Web. 25 Jan 2021.
Vancouver:
Niddodi CP. Secure integration of electric vehicles with the power grid. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2018. [cited 2021 Jan 25].
Available from: http://hdl.handle.net/2142/101372.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Niddodi CP. Secure integration of electric vehicles with the power grid. [Thesis]. University of Illinois – Urbana-Champaign; 2018. Available from: http://hdl.handle.net/2142/101372
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Penn State University
2.
Kim, Hunmin.
Distributed Control of Cyber-physical Systems: Security, Economics, and Smart grid.
Degree: 2018, Penn State University
URL: https://submit-etda.libraries.psu.edu/catalog/15859huk164
► We have witnessed rapid emergence of cyber-physical systems (CPS), which integrate control systems with advanced technologies of sensing, computation and communication. Many CPS consist of…
(more)
▼ We have witnessed rapid emergence of
cyber-
physical systems (CPS), which integrate control
systems with advanced technologies of sensing, computation and communication. Many CPS consist of a population of agents which operate in heterogeneous spatial and temporal scales, and interact with one another in various ways. Thus, it is mandatory to develop practical distributed control methodologies for agents, which provide autonomous decision making given local information, while guaranteeing satisfactory network-wide performance. This dissertation contributes to the broad field of distributed control of CPS and investigates three emerging problems:
cyber-
physical security,
cyber-
physical economics, and smart grid.
Advisors/Committee Members: Minghui Zhu, Dissertation Advisor/Co-Advisor, Constantino Manuel Lagoa, Committee Chair/Co-Chair, Nilanjan Ray Chaudhuri, Committee Member, Asok Ray, Committee Member, Asok Ray, Outside Member.
Subjects/Keywords: Cyber-physical systems; Distributed control
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Kim, H. (2018). Distributed Control of Cyber-physical Systems: Security, Economics, and Smart grid. (Thesis). Penn State University. Retrieved from https://submit-etda.libraries.psu.edu/catalog/15859huk164
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Kim, Hunmin. “Distributed Control of Cyber-physical Systems: Security, Economics, and Smart grid.” 2018. Thesis, Penn State University. Accessed January 25, 2021.
https://submit-etda.libraries.psu.edu/catalog/15859huk164.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Kim, Hunmin. “Distributed Control of Cyber-physical Systems: Security, Economics, and Smart grid.” 2018. Web. 25 Jan 2021.
Vancouver:
Kim H. Distributed Control of Cyber-physical Systems: Security, Economics, and Smart grid. [Internet] [Thesis]. Penn State University; 2018. [cited 2021 Jan 25].
Available from: https://submit-etda.libraries.psu.edu/catalog/15859huk164.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Kim H. Distributed Control of Cyber-physical Systems: Security, Economics, and Smart grid. [Thesis]. Penn State University; 2018. Available from: https://submit-etda.libraries.psu.edu/catalog/15859huk164
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Georgia Tech
3.
Arias, Jesus Emmanuel.
Numerical modeling of a solid oxide fuel cell for use in real-time simulation and cyber-physical systems.
Degree: MS, Mechanical Engineering, 2019, Georgia Tech
URL: http://hdl.handle.net/1853/61311
► Cyber-physical systems provide a mechanism with which to investigate the physical phenomena and behavior of traditionally cost-prohibitive or otherwise fragile equipment. For the National Energy…
(more)
▼ Cyber-
physical systems provide a mechanism with which to investigate the
physical phenomena and behavior of traditionally cost-prohibitive or otherwise fragile equipment. For the National Energy Technology Laboratory (NETL), this approach resulted in the Hybrid Performance (Hyper) facility which features a gas turbine-SOFC hybrid cycle utilizing real turbomachinery and a simulated SOFC stack. This allows for the investigation of combined cycle performance and control strategies, in an exhaustive manner, both without fear of destroying delicate state-of-the-art fuel cells, and with the full accuracy of real-world turbomachinery. Issues arose between the transient response of the SOFC model being limited to a sample time of 80 milliseconds, due to the calculation time of the SOFC model taking on average 40 milliseconds to calculate for a given timestep with spikes in calculation time reaching the 80 millisecond threshold. In order to be able to match the speed of transients from the turbomachinery and likewise better discern transient behavior, it was determined that the SOFC model must be optimized to operate at a sample time of 5 milliseconds. Therefore, it is necessary to optimize the SOFC model in order to decrease the calculation time from around 40 milliseconds, down to at the most 5 milliseconds. To do this, both the electrochemical algorithm and the thermal algorithm used to simulate the
physical behavior of the SOFC are investigated to determine where improvements can be made. To this end the rootfinding numerical recipes of the electrochemical algorithm are investigated as the complex electrochemistry requires a highly iterative nested dual convergence loop to resolve the voltage-current relationship, and likewise the temporal discretization of the thermal algorithm is modified for the sake of higher accuracy and stability. Ultimately the new electrochemical algorithm featuring higher order rootfinding schemes proves to be efficient enough to reach the sub 5 millisecond target, signifying an order of magnitude reduction in calculation time, and when coupled with the new temporal discretization similar calculation time characteristics show that a fully implicit, higher order temporal discretization can also successfully be used if desired. Ultimately this result means that the
cyber-
physical simulation system can operate at higher sample rates, and resolve transient events at significantly higher resolution and fidelity.
Advisors/Committee Members: Haynes, Comas L. (advisor), Ghiaasiaan, S. M. (advisor), Joshi, Yogendra K. (committee member), Giorges, Aklilu (committee member), Tucker, David (committee member).
Subjects/Keywords: SOFC; Cyber-physical systems
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Arias, J. E. (2019). Numerical modeling of a solid oxide fuel cell for use in real-time simulation and cyber-physical systems. (Masters Thesis). Georgia Tech. Retrieved from http://hdl.handle.net/1853/61311
Chicago Manual of Style (16th Edition):
Arias, Jesus Emmanuel. “Numerical modeling of a solid oxide fuel cell for use in real-time simulation and cyber-physical systems.” 2019. Masters Thesis, Georgia Tech. Accessed January 25, 2021.
http://hdl.handle.net/1853/61311.
MLA Handbook (7th Edition):
Arias, Jesus Emmanuel. “Numerical modeling of a solid oxide fuel cell for use in real-time simulation and cyber-physical systems.” 2019. Web. 25 Jan 2021.
Vancouver:
Arias JE. Numerical modeling of a solid oxide fuel cell for use in real-time simulation and cyber-physical systems. [Internet] [Masters thesis]. Georgia Tech; 2019. [cited 2021 Jan 25].
Available from: http://hdl.handle.net/1853/61311.
Council of Science Editors:
Arias JE. Numerical modeling of a solid oxide fuel cell for use in real-time simulation and cyber-physical systems. [Masters Thesis]. Georgia Tech; 2019. Available from: http://hdl.handle.net/1853/61311
Delft University of Technology
4.
Gramatikov, S.T. (author).
Cyber-Attack Detection in Networked Control Systems via Encrypted Watermarks.
Degree: 2020, Delft University of Technology
URL: http://resolver.tudelft.nl/uuid:aaae482f-4ece-45b0-88e8-edfe14019331
► Cyber-attacks long have been a topic reserved for sci-fi movies and books. With the advance of internet and the globalisation of technology supply chains, as…
(more)
▼ Cyber-attacks long have been a topic reserved for sci-fi movies and books. With the advance of internet and the globalisation of technology supply chains, as well as the growing political and economic pressure around the world,
cyber warfare has become the new weapon of choice for covert state operations, but also rogue organizations. In the last 2 decades multiple major industries have suffered some kind of outage – power generation, manufacturing, oil & gas, transport, and others. A typical industrial system is designed for a life span of more than 20 years, making future issues hard to protect against at the planning phase. No widespread efforts exist to identify such threats, to detect attacks and counteract them. This thesis proposes a practical approach for lower level protection of control
systems based on linear watermarking as a transparent process to provide detection for any malicious activity that might significantly impact the operations of the plant.
Advisors/Committee Members: Ferrari, R. (mentor), Wahls, S. (graduation committee), Gonzalez Silva, J. (graduation committee), Delft University of Technology (degree granting institution).
Subjects/Keywords: cyber security; Cyber-Physical Systems; networked control systems; SCADA; watermarking
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Gramatikov, S. T. (. (2020). Cyber-Attack Detection in Networked Control Systems via Encrypted Watermarks. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:aaae482f-4ece-45b0-88e8-edfe14019331
Chicago Manual of Style (16th Edition):
Gramatikov, S T (author). “Cyber-Attack Detection in Networked Control Systems via Encrypted Watermarks.” 2020. Masters Thesis, Delft University of Technology. Accessed January 25, 2021.
http://resolver.tudelft.nl/uuid:aaae482f-4ece-45b0-88e8-edfe14019331.
MLA Handbook (7th Edition):
Gramatikov, S T (author). “Cyber-Attack Detection in Networked Control Systems via Encrypted Watermarks.” 2020. Web. 25 Jan 2021.
Vancouver:
Gramatikov ST(. Cyber-Attack Detection in Networked Control Systems via Encrypted Watermarks. [Internet] [Masters thesis]. Delft University of Technology; 2020. [cited 2021 Jan 25].
Available from: http://resolver.tudelft.nl/uuid:aaae482f-4ece-45b0-88e8-edfe14019331.
Council of Science Editors:
Gramatikov ST(. Cyber-Attack Detection in Networked Control Systems via Encrypted Watermarks. [Masters Thesis]. Delft University of Technology; 2020. Available from: http://resolver.tudelft.nl/uuid:aaae482f-4ece-45b0-88e8-edfe14019331
University of Bristol
5.
Hewlett, Emma M.
Human detection of attacks against cyber-physical systems.
Degree: PhD, 2020, University of Bristol
URL: http://hdl.handle.net/1983/280cae8a-83c0-4b4f-aeba-1ad93e9e4f02
► Cyber attacks are a persistent threat that is continually evolving to match the technology landscape. This increasingly includes systems that incorporate physical components, including personal…
(more)
▼ Cyber attacks are a persistent threat that is continually evolving to match the technology landscape. This increasingly includes systems that incorporate physical components, including personal electronic devices, Internet of Things devices and large-scale industrial systems that are increasingly being connected to the internet. Despite evidence that attacks are both directly targeting and inadvertently impacting such cyber-physical systems, to date very little research has sought to explore how good the human users of these systems are at observing and correctly identifying these attacks. This thesis seeks to address this knowledge gap, exploring people’s awareness of threats and whether the nature of cyber-physical systems means that attacks against them are detectable by human users. The main contributions from this work include: (1) A systematic study of how humans protect against, detect and respond to cyber attacks; (2) A detailed explanation of the devices that people use and their level of awareness of the sensors and components that these devices incorporate and how these could be targeted; (3) Information on how people detect attacks against physical devices versus more traditional attacks; (4) Information on the types of attacks that can be observed both directly from the behaviour of the physical components of an industrial control system and from the data outputs of the system; (5) Findings that show that, whilst attacks are often observed as anomalies, these errors are frequently attributed to technical error or failure; (6) Finally, this thesis explores whether findings relating to susceptibility and the ability to detect different attacks against physical systems can be generalised across different forms of attacks and systems.
Subjects/Keywords: Cyber security; Industrial Control Systems; Cyber Physical Systems; Cyber attacks; Human factors
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Hewlett, E. M. (2020). Human detection of attacks against cyber-physical systems. (Doctoral Dissertation). University of Bristol. Retrieved from http://hdl.handle.net/1983/280cae8a-83c0-4b4f-aeba-1ad93e9e4f02
Chicago Manual of Style (16th Edition):
Hewlett, Emma M. “Human detection of attacks against cyber-physical systems.” 2020. Doctoral Dissertation, University of Bristol. Accessed January 25, 2021.
http://hdl.handle.net/1983/280cae8a-83c0-4b4f-aeba-1ad93e9e4f02.
MLA Handbook (7th Edition):
Hewlett, Emma M. “Human detection of attacks against cyber-physical systems.” 2020. Web. 25 Jan 2021.
Vancouver:
Hewlett EM. Human detection of attacks against cyber-physical systems. [Internet] [Doctoral dissertation]. University of Bristol; 2020. [cited 2021 Jan 25].
Available from: http://hdl.handle.net/1983/280cae8a-83c0-4b4f-aeba-1ad93e9e4f02.
Council of Science Editors:
Hewlett EM. Human detection of attacks against cyber-physical systems. [Doctoral Dissertation]. University of Bristol; 2020. Available from: http://hdl.handle.net/1983/280cae8a-83c0-4b4f-aeba-1ad93e9e4f02
Delft University of Technology
6.
WU, YONGYI (author).
Cyberscape: A cyber-physical interactive hub.
Degree: 2020, Delft University of Technology
URL: http://resolver.tudelft.nl/uuid:da4be025-9e44-4224-9663-c18f85f20ed1
► With the thorough penetration of Internet, everyone has a dual identity in contemporary urban life. On one hand, urban survival pressure and high-density, planned forms…
(more)
▼ With the thorough penetration of Internet, everyone has a dual identity in contemporary urban life. On one hand, urban survival pressure and high-density, planned forms of living consume the vitality of young generation; on the other hand, streaming videos, social media and online games establish their existence in another dimension. The Toronto School and other many media theorists have foreseen the impact of the Internet as a medium on behavior and society in the last century. Since the 1990s, architects and urban designers have begun to imagine the integration of architecture space and cyberspace. Later practices, in the name of interactive architecture, explored certain possibilities of architectural interactivity. But until today, the real revolution has not come in a larger scope. Research and design are aim to the impact of various interactive media derived from the Internet on living and how to use their interactivity to take the intelligence and delight of built environment to a new level in contemporary urban context. The results of study will be presented as a public building design, which is an urban cultural complex with the theme of interactive media, including functional spaces such as exhibitions, interactions, game events, esports, creative workshop, sales, and cafe, let visitors experience the knowledge, applications and trends of cyberculture. The choice of functions takes it into account that this theme has practical meanings for leading interactive architecture experiments. And its exterior and interior design embed cyber-physical system and show the characteristics and interactivity of the cyberspace to get the unity of theme and space experience. As a cyber dominant zone, it serves as a prototype to illustrate the possible impact of the Internet on society and lifestyle in the future.
Architecture, Urbanism and Building Sciences | Robotic Building
Advisors/Committee Members: Bier, Henriette (mentor), Adema, Ferry (mentor), Hidding, Arwin (mentor), Rooij, Remon (graduation committee), Delft University of Technology (degree granting institution).
Subjects/Keywords: Architecture; Interactive Media; Cyber-physical systems
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
WU, Y. (. (2020). Cyberscape: A cyber-physical interactive hub. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:da4be025-9e44-4224-9663-c18f85f20ed1
Chicago Manual of Style (16th Edition):
WU, YONGYI (author). “Cyberscape: A cyber-physical interactive hub.” 2020. Masters Thesis, Delft University of Technology. Accessed January 25, 2021.
http://resolver.tudelft.nl/uuid:da4be025-9e44-4224-9663-c18f85f20ed1.
MLA Handbook (7th Edition):
WU, YONGYI (author). “Cyberscape: A cyber-physical interactive hub.” 2020. Web. 25 Jan 2021.
Vancouver:
WU Y(. Cyberscape: A cyber-physical interactive hub. [Internet] [Masters thesis]. Delft University of Technology; 2020. [cited 2021 Jan 25].
Available from: http://resolver.tudelft.nl/uuid:da4be025-9e44-4224-9663-c18f85f20ed1.
Council of Science Editors:
WU Y(. Cyberscape: A cyber-physical interactive hub. [Masters Thesis]. Delft University of Technology; 2020. Available from: http://resolver.tudelft.nl/uuid:da4be025-9e44-4224-9663-c18f85f20ed1
University of Illinois – Chicago
7.
Calvi, Michele G.
Runtime Monitoring of Cyber-Physical Systems Using Data-driven Models.
Degree: 2019, University of Illinois – Chicago
URL: http://hdl.handle.net/10027/23753
► In recent years we have seen a rise in the complexity of physical systems that humans build. As these systems become more complex also their…
(more)
▼ In recent years we have seen a rise in the complexity of
physical systems that humans build. As these
systems become more complex also their correct functioning becomes more challenging. Furthermore, it is often difficult to obtain an accurate model of the system making formal verification of such
systems even more complicated. The goal of the thesis is to investigate a frameworks whereby the model of the
cyber-
physical system (in this case a self-driving car) is developed through a black-box modeling approach, a long short term memory neural network. A recurrent neural network which stores information over arbitrary time intervals. This network will learn the behavior of the system from training data and can be subsequently used to guarantee safety of the system. This approach could be significant for many applications and in particular for autonomous
systems which are currently a focus of intense development. In these
systems, deep learning is often used to process data and make decisions on what the system should do.
First, data from a simulator was used to train a neural network to generate the control of the vehicle (steering angle and acceleration).This module was used as an example of soft computing that is used in many autonomous cars. Once the control module was developed it was necessary to verify the safety of the vehicle. This was achieved by using the runtime monitoring framework. A particle filter which computes the probability distribution of the states at each time step (belief) is the integral part of the monitor. By computing the belief of the system combined with the desired safety property, we can make a decision on whether the operation of the vehicle is safe. Finally, once we obtained a monitor with good accuracies we show that it is possible to also use a data driven model of the vehicle to monitor safety.
Advisors/Committee Members: Zefran, Milos (advisor), Risso, Fulvio (committee member), Han, Shuo (committee member), Zefran, Milos (chair).
Subjects/Keywords: Cyber Physical Systems; Autonomous Driving; Montior
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Calvi, M. G. (2019). Runtime Monitoring of Cyber-Physical Systems Using Data-driven Models. (Thesis). University of Illinois – Chicago. Retrieved from http://hdl.handle.net/10027/23753
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Calvi, Michele G. “Runtime Monitoring of Cyber-Physical Systems Using Data-driven Models.” 2019. Thesis, University of Illinois – Chicago. Accessed January 25, 2021.
http://hdl.handle.net/10027/23753.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Calvi, Michele G. “Runtime Monitoring of Cyber-Physical Systems Using Data-driven Models.” 2019. Web. 25 Jan 2021.
Vancouver:
Calvi MG. Runtime Monitoring of Cyber-Physical Systems Using Data-driven Models. [Internet] [Thesis]. University of Illinois – Chicago; 2019. [cited 2021 Jan 25].
Available from: http://hdl.handle.net/10027/23753.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Calvi MG. Runtime Monitoring of Cyber-Physical Systems Using Data-driven Models. [Thesis]. University of Illinois – Chicago; 2019. Available from: http://hdl.handle.net/10027/23753
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Delft University of Technology
8.
Li, Ziwei (author).
Improving User Experience by a Smart Bathroom Floor Cleaner in Different Culture Contexts.
Degree: 2019, Delft University of Technology
URL: http://resolver.tudelft.nl/uuid:dd47b990-a725-420a-b64f-f9777d13c643
► Bathroom cleaning is one of the troublesome daily issues. All kinds of contaminants on the bathroom floor take people a lot of time and effort…
(more)
▼ Bathroom cleaning is one of the troublesome daily issues. All kinds of contaminants on the bathroom floor take people a lot of time and effort to deal with. With the development of computational technologies, smart products are gradually entering into our lives to solve these troublesome issues. Therefore, there is a chance to use new technologies to solve the bathroom floor cleaning problem and to make life convenient. Obviously, different people have different attitudes towards smart products, which influence their preferences on interacting with smart products. Based on my personal experience, Chinese and Dutch young adults have this difference, and are chosen as the target groups. To sum up, this project aims to explore the interaction with a smart bathroom floor cleaner in Chinese and Dutch cultural contexts. The main challenge is to collect and analyze information from different aspects, and then integrated into a complex system, namely a smart bathroom floor cleaner system. The related aspects include context, user experience, smart product technologies, etc. We analyzed the bathroom environment conditions, the cleaning related concerns, the expected cleaning experience, promising technologies,
Cyber-
physical systems principles, and the opportunities in Chinese and Dutch smart product markets. The results show that the two groups have no significant differences in bathroom usage and cleaning habits. The expected experience for both groups is trustworthy and effortless. However, their attitudes towards smart products are different. The Chinese group has higher interest, while the Dutch group is more conservative. This difference is also consistent with the difference in the smart product markets. Therefore, we designed different interaction concepts based on the device in different intelligence levels in the conceptualization phase. In order to design an interaction concept, at first we need a device concept that can meet the requirements of the bathroom cleaning. This device concept is formed by two cleaning robots and a base station. It has
physical functions and cognitive functions about the bathroom cleaning. Then, the generation of the interaction concepts is based on the device concept’s variants with different intelligence levels. Supplemented by interaction techniques and emotional expectations, different interaction concepts were defined. To analyze the experience of these interaction concepts, we refined the concepts. Through the storyboard and prototypes, participants evaluated these concepts. The results showed that the interaction concept with the most intelligent device could best reach the expected experience. At the same time, interaction elements in other concepts (e.g. using mobile apps to show complex information) also received positive feedback. In the end, we chose the interaction concept with the most intelligent device concept, with elements from other concepts as supplements, and had the final interaction concept. The final evaluation indicated that the concept is able to make…
Advisors/Committee Members: Horvath, Imre (graduation committee), Diehl, Jan-Carel (mentor), Delft University of Technology (degree granting institution).
Subjects/Keywords: Cyber-physical systems; Cultural context; Smart Homes
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Li, Z. (. (2019). Improving User Experience by a Smart Bathroom Floor Cleaner in Different Culture Contexts. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:dd47b990-a725-420a-b64f-f9777d13c643
Chicago Manual of Style (16th Edition):
Li, Ziwei (author). “Improving User Experience by a Smart Bathroom Floor Cleaner in Different Culture Contexts.” 2019. Masters Thesis, Delft University of Technology. Accessed January 25, 2021.
http://resolver.tudelft.nl/uuid:dd47b990-a725-420a-b64f-f9777d13c643.
MLA Handbook (7th Edition):
Li, Ziwei (author). “Improving User Experience by a Smart Bathroom Floor Cleaner in Different Culture Contexts.” 2019. Web. 25 Jan 2021.
Vancouver:
Li Z(. Improving User Experience by a Smart Bathroom Floor Cleaner in Different Culture Contexts. [Internet] [Masters thesis]. Delft University of Technology; 2019. [cited 2021 Jan 25].
Available from: http://resolver.tudelft.nl/uuid:dd47b990-a725-420a-b64f-f9777d13c643.
Council of Science Editors:
Li Z(. Improving User Experience by a Smart Bathroom Floor Cleaner in Different Culture Contexts. [Masters Thesis]. Delft University of Technology; 2019. Available from: http://resolver.tudelft.nl/uuid:dd47b990-a725-420a-b64f-f9777d13c643
University of Illinois – Urbana-Champaign
9.
Raguraman, Dhashrath.
Design of low complexity fault tolerance for life critical situation awareness systems.
Degree: MS, Computer Science, 2015, University of Illinois – Urbana-Champaign
URL: http://hdl.handle.net/2142/78789
► In cyber-human-medical environments, coordinating supervisory medical systems and medical staff to perform treatment in accordance with best practice is essential for patient safety. However, the…
(more)
▼ In cyber-human-medical environments, coordinating supervisory medical systems and medical staff to perform treatment in accordance with best practice is essential for patient safety. However, the dynamics of patient conditions and the non-deterministic nature of potential side effects of treatment pose significant challenges. This work covers my contribution to one such system in development of its low complexity workflow which enhances situation awareness and in the design and implementation of it fault tolerance.
In the first part of this document, we cover a validation protocol to enforce the correct execution sequence of treatments, preconditions validation, side effects monitoring and checking expected responses based on patho-physiological models. The proposed protocol organizes the medical information concisely and comprehensively to help medical staff validate treatments.The proposed protocol dynamically adapts to the patient conditions and side effects of treatments. A cardiac arrest scenario is used as a case study to verify the safety properties of the proposed protocol.
In the second part of this document, we describe the integration of some well understood fault tolerance strategies in context of safety critical systems. We list out the requirements of our system and explore the traditional Active/Standby in context of certain guiding design principles to fit our specific requirement. Like any software engineering project, we design test suites to ensure QOS. We go a step further and try to make this design verifiable using model checking tools like UPPAAL to demonstrate the correctness of our system architecture under conditions of normal operation and failure.
Subjects/Keywords: Cyber Physical Systems; Fault Tolerance; Cardiac Resuscitation
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Raguraman, D. (2015). Design of low complexity fault tolerance for life critical situation awareness systems. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/78789
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Raguraman, Dhashrath. “Design of low complexity fault tolerance for life critical situation awareness systems.” 2015. Thesis, University of Illinois – Urbana-Champaign. Accessed January 25, 2021.
http://hdl.handle.net/2142/78789.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Raguraman, Dhashrath. “Design of low complexity fault tolerance for life critical situation awareness systems.” 2015. Web. 25 Jan 2021.
Vancouver:
Raguraman D. Design of low complexity fault tolerance for life critical situation awareness systems. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2015. [cited 2021 Jan 25].
Available from: http://hdl.handle.net/2142/78789.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Raguraman D. Design of low complexity fault tolerance for life critical situation awareness systems. [Thesis]. University of Illinois – Urbana-Champaign; 2015. Available from: http://hdl.handle.net/2142/78789
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Virginia Tech
10.
Zhao, Yecheng.
Design Optimization Techniques for Time-Critical Cyber-Physical Systems.
Degree: PhD, Computer Engineering, 2020, Virginia Tech
URL: http://hdl.handle.net/10919/96520
► Cyber-Physical Systems (CPS) tightly intertwine computing units and physical plants to accomplish complex tasks such as control and monitoring. They are often deployed in critical…
(more)
▼ Cyber-
Physical Systems (CPS) tightly intertwine computing units and
physical plants to accomplish complex tasks such as control and monitoring. They are often deployed in critical applications
subject to strict timing constraints. For example, many control applications and tasks are required to finished within bounded latencies. To guarantee such timing correctness, much of the effort has been dedicated to studying methods for delay and latency estimation. These techniques are known as schedulability analysis/timing analysis. As CPS becomes increasingly complex, there is an urgent need for efficient optimization techniques that can aid the design of large-scale and correct CPS. Specifically, techniques that can find good design options in reasonable amount of time while meeting all the timing and other critical requirements are becoming vital. However, most of the existing schedulability analysis are either non-linear, non-convex, non-continuous or without closed form. This gives significant challenge for integrating these analysis into optimization. In this dissertation, we explore two new paradigm-shifting approaches for developing optimization algorithms for the design of CPS. Experimental evaluations on both synthetic and industrial case studies show that the new approaches significantly improve upon existing optimization techniques in terms of scalability and quality of solution.
Advisors/Committee Members: Zeng, Haibo (committeechair), Hsiao, Michael S. (committee member), Jung, Changhee (committee member), Ravi, Sekharipuram Subramaniam (committee member), Ravindran, Binoy (committee member).
Subjects/Keywords: Cyber-physical systems; Design optimization; Schedulability analysis
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Zhao, Y. (2020). Design Optimization Techniques for Time-Critical Cyber-Physical Systems. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/96520
Chicago Manual of Style (16th Edition):
Zhao, Yecheng. “Design Optimization Techniques for Time-Critical Cyber-Physical Systems.” 2020. Doctoral Dissertation, Virginia Tech. Accessed January 25, 2021.
http://hdl.handle.net/10919/96520.
MLA Handbook (7th Edition):
Zhao, Yecheng. “Design Optimization Techniques for Time-Critical Cyber-Physical Systems.” 2020. Web. 25 Jan 2021.
Vancouver:
Zhao Y. Design Optimization Techniques for Time-Critical Cyber-Physical Systems. [Internet] [Doctoral dissertation]. Virginia Tech; 2020. [cited 2021 Jan 25].
Available from: http://hdl.handle.net/10919/96520.
Council of Science Editors:
Zhao Y. Design Optimization Techniques for Time-Critical Cyber-Physical Systems. [Doctoral Dissertation]. Virginia Tech; 2020. Available from: http://hdl.handle.net/10919/96520
Virginia Tech
11.
Guymon, Daniel Wade.
Cyber-physical Algorithms for Enhancing Collaboration.
Degree: MS, Electrical and Computer Engineering, 2012, Virginia Tech
URL: http://hdl.handle.net/10919/31919
► The research presented in this thesis covers two specific problems within the larger domain of cyber-physical algorithms for enhancing collaboration between one or more people.…
(more)
▼ The research presented in this thesis covers two specific problems within the larger domain of
cyber-
physical algorithms for enhancing collaboration between one or more people. The two specific problems are 1) determining when people are going to arrive late to a meeting and 2) creating ad-hoc secure pairing protocols for short-range communication. The domain was broken down at opposite extremes in order to derive these problems to work on: 1) collaborations that are planned long in advance and deviations from the plan need to be detected and 2) collaborations that are not planned and need to be dynamically created and secured. Empirical results show the functionality and performance of user late arrival detection for planned collaborations and end-user authentication protocols for unplanned collaborations.
Advisors/Committee Members: White, Christopher J. (committeechair), Reed, Jeffrey Hugh (committee member), Martin, Thomas L. (committee member).
Subjects/Keywords: cyber-physical systems; mobile computing; smartphones; security
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Guymon, D. W. (2012). Cyber-physical Algorithms for Enhancing Collaboration. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/31919
Chicago Manual of Style (16th Edition):
Guymon, Daniel Wade. “Cyber-physical Algorithms for Enhancing Collaboration.” 2012. Masters Thesis, Virginia Tech. Accessed January 25, 2021.
http://hdl.handle.net/10919/31919.
MLA Handbook (7th Edition):
Guymon, Daniel Wade. “Cyber-physical Algorithms for Enhancing Collaboration.” 2012. Web. 25 Jan 2021.
Vancouver:
Guymon DW. Cyber-physical Algorithms for Enhancing Collaboration. [Internet] [Masters thesis]. Virginia Tech; 2012. [cited 2021 Jan 25].
Available from: http://hdl.handle.net/10919/31919.
Council of Science Editors:
Guymon DW. Cyber-physical Algorithms for Enhancing Collaboration. [Masters Thesis]. Virginia Tech; 2012. Available from: http://hdl.handle.net/10919/31919
Delft University of Technology
12.
Wang, Yu (author).
Towards a smart bathroom maid.
Degree: 2019, Delft University of Technology
URL: http://resolver.tudelft.nl/uuid:de2d28a0-cf32-43c7-9e58-42380c66f2c6
► The topic of this project is exploring design directions towards a smart private-bathroom service/product. It is often the case that a bathroom is used by…
(more)
▼ The topic of this project is exploring design directions towards a smart private-bathroom service/product. It is often the case that a bathroom is used by multiple people after each other. An unclean bathroom environment can hinder the user experience. The shared bathroom also involves a peak usage issue. These two points will cause dissatisfaction among users. So, the design goal is to (1) reduce user’s effort when cleaning the bathroom and (2) assist users in using the bathroom together by a technical solution. The final output is a smart toilet lid with three interaction concepts of different smart levels. Through evaluation and analysis, I found that users with high acceptance of smart products tend to choose smart products as an “assistant”; on the contrary, users with low acceptance of smart products tend to choose “tools”. For the former, they are more concerned about what personal data is collected and they expect a balance between personal data and smart services.
Design for Interaction
Advisors/Committee Members: Horvath, Imre (mentor), Kooijman, Adrie (mentor), Delft University of Technology (degree granting institution).
Subjects/Keywords: Cyber-Physical Systems; Smart Toilet; Interaction Design
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Wang, Y. (. (2019). Towards a smart bathroom maid. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:de2d28a0-cf32-43c7-9e58-42380c66f2c6
Chicago Manual of Style (16th Edition):
Wang, Yu (author). “Towards a smart bathroom maid.” 2019. Masters Thesis, Delft University of Technology. Accessed January 25, 2021.
http://resolver.tudelft.nl/uuid:de2d28a0-cf32-43c7-9e58-42380c66f2c6.
MLA Handbook (7th Edition):
Wang, Yu (author). “Towards a smart bathroom maid.” 2019. Web. 25 Jan 2021.
Vancouver:
Wang Y(. Towards a smart bathroom maid. [Internet] [Masters thesis]. Delft University of Technology; 2019. [cited 2021 Jan 25].
Available from: http://resolver.tudelft.nl/uuid:de2d28a0-cf32-43c7-9e58-42380c66f2c6.
Council of Science Editors:
Wang Y(. Towards a smart bathroom maid. [Masters Thesis]. Delft University of Technology; 2019. Available from: http://resolver.tudelft.nl/uuid:de2d28a0-cf32-43c7-9e58-42380c66f2c6
University of Oxford
13.
Chen, Changhao.
Learning methods for robust localization.
Degree: PhD, 2020, University of Oxford
URL: http://ora.ox.ac.uk/objects/uuid:edfcdcf6-957c-4ef8-9ec9-4028feb5161c
;
https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.813657
► Location awareness is a fundamental need for intelligent systems, such as self-driving vehicles, delivery drones, and mobile devices. Given their on-board sensors (e.g. camera, inertial…
(more)
▼ Location awareness is a fundamental need for intelligent systems, such as self-driving vehicles, delivery drones, and mobile devices. Given their on-board sensors (e.g. camera, inertial sensor and LIDAR), previous researchers have developed a variety of localization systems, by building hand-crafted models and algorithms. Under ideal conditions, these sensors and models are able to accurately estimate system states without time bound. However, in real-world environments, many issues such as imperfect sensor measurements, inaccurate system modelling, complex environmental dynamics and unrealistic constraints, degrade the accuracy and reliability of localization systems. Therefore, this thesis aims to leverage machine learning approaches to overcome the intrinsic problems of the human-designed localization models. This research presents learning methods to estimate self-motion using multimodal sensor data to achieve accurate and robust localization. Firstly, we exploit inertial sensor, a completely ego-centric and relatively robust sensor, to develop Inertial Odometry Neural Network (IONet) that learns motion transformation from raw inertial data, and reconstructs accurate trajectories. This inertial only solution shows impressive performance in locating people and wheeled objects without being influenced by environmental issues. IONet was further refined as L-IONet, a lightweight framework, to reduce the computational burden of model training and testing, and enable real-time inference on low-end devices. As a first trial in this direction, we collected and released Oxford Inertial Odometry Dataset (OxIOD) with a very large amount of inertial motion data collection containing 158 sequences totalling 42 km, to train and comprehensively evaluate our proposed models. Secondly, we present a novel generic framework to learn selective sensor fusion in enabling more robust and accurate odometry estimation and localization in real-world scenarios. Two fusion strategies are proposed: soft fusion, implemented in a deterministic fashion; and hard fusion, which introduces stochastic noise and intuitively learns to keep the most relevant feature representations, while discarding useless or misleading information. Both are trained in an end-to-end fashion, and can be applied to complimentary pairs of sensor modalities, e.g. RGB images, inertial measurements, depth images, and LIDAR point clouds. We offer a visualization and interpretation of fusion masks to give deeper insights into the relative strengths of each stream. Finally, we leverage deep generative models to propose Sequential Invariant Domain Adaptation (SIDA) to mitigate the domain shift problem of the deep neural network based localization models. This framework works well on long continuous sensor data. Its key novelty is to use a shared encoder to convert the input sequence into a domain-invariant hidden representation, to encourage the useful semantic features obtained, whilst discarding the domain specific features. We employ proposed SIDA on deep learning based…
Subjects/Keywords: Robotics; Cyber-Physical Systems; Machine Learning
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Chen, C. (2020). Learning methods for robust localization. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:edfcdcf6-957c-4ef8-9ec9-4028feb5161c ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.813657
Chicago Manual of Style (16th Edition):
Chen, Changhao. “Learning methods for robust localization.” 2020. Doctoral Dissertation, University of Oxford. Accessed January 25, 2021.
http://ora.ox.ac.uk/objects/uuid:edfcdcf6-957c-4ef8-9ec9-4028feb5161c ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.813657.
MLA Handbook (7th Edition):
Chen, Changhao. “Learning methods for robust localization.” 2020. Web. 25 Jan 2021.
Vancouver:
Chen C. Learning methods for robust localization. [Internet] [Doctoral dissertation]. University of Oxford; 2020. [cited 2021 Jan 25].
Available from: http://ora.ox.ac.uk/objects/uuid:edfcdcf6-957c-4ef8-9ec9-4028feb5161c ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.813657.
Council of Science Editors:
Chen C. Learning methods for robust localization. [Doctoral Dissertation]. University of Oxford; 2020. Available from: http://ora.ox.ac.uk/objects/uuid:edfcdcf6-957c-4ef8-9ec9-4028feb5161c ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.813657
University of Texas – Austin
14.
Pfeifer, Dylan Conrad.
Parallel and distributed cyber-physical system simulation.
Degree: PhD, Electrical and Computer Engineering, 2013, University of Texas – Austin
URL: http://hdl.handle.net/2152/27134
► The traditions of real-time and embedded system engineering have evolved into a new field of cyber-physical systems (CPSs). The increase in complexity of CPS components…
(more)
▼ The traditions of real-time and embedded system engineering have evolved into a new field of
cyber-
physical systems (CPSs). The increase in complexity of CPS components and the multi-domain engineering composition of CPSs challenge the current best practices in design and simulation. To address the challenges of CPS simulation, this work introduces a simulator coordination method drawing from strengths of the field of parallel and distributed simulation (PADS), yet offering benefits aimed towards the challenges of coordinating CPS engineering design simulators. The method offers the novel concept of Interpolated Event data types applied to Kahn Process Networks in order to provide simulator coordination. This can enable conservative and optimistic coordination of multiple heterogeneous and homogeneous simulators, but provide important benefits for CPS simulation, such as the opportunity to reduce functional requirements for simulator interfacing compared to existing solutions. The method is analyzed in theoretical properties and instantiated in software tools SimConnect and SimTalk. Finally, an experimental study applies the method and tools to accelerate Spice circuit simulation with tradeoffs in speed versus accuracy, and demonstrates the coordination of three heterogeneous simulators for a CPS simulation with increasing component model refinement and realism.
Advisors/Committee Members: Valvano, Jonathan W., 1953- (advisor), Gerstlauer, Andreas, 1970- (advisor).
Subjects/Keywords: Cyber-physical systems; Parallel and distributed simulation
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Pfeifer, D. C. (2013). Parallel and distributed cyber-physical system simulation. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/27134
Chicago Manual of Style (16th Edition):
Pfeifer, Dylan Conrad. “Parallel and distributed cyber-physical system simulation.” 2013. Doctoral Dissertation, University of Texas – Austin. Accessed January 25, 2021.
http://hdl.handle.net/2152/27134.
MLA Handbook (7th Edition):
Pfeifer, Dylan Conrad. “Parallel and distributed cyber-physical system simulation.” 2013. Web. 25 Jan 2021.
Vancouver:
Pfeifer DC. Parallel and distributed cyber-physical system simulation. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2013. [cited 2021 Jan 25].
Available from: http://hdl.handle.net/2152/27134.
Council of Science Editors:
Pfeifer DC. Parallel and distributed cyber-physical system simulation. [Doctoral Dissertation]. University of Texas – Austin; 2013. Available from: http://hdl.handle.net/2152/27134
University of Oxford
15.
Saputra, Muhamad.
Visual and thermal odometry with Deep Neural Networks.
Degree: PhD, 2020, University of Oxford
URL: http://ora.ox.ac.uk/objects/uuid:c54afe6e-836f-4c87-a2be-90ed617103a4
;
https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.816665
► Accurate camera ego-motion estimation, widely known as Visual Odometry (VO), remains a key prerequisite for many applications in computer vision and robotics. Conventional VO, which…
(more)
▼ Accurate camera ego-motion estimation, widely known as Visual Odometry (VO), remains a key prerequisite for many applications in computer vision and robotics. Conventional VO, which relies on hand-crafted feature engineering, is prone to drift and can easily lose track as the extracted features contain outliers and unknown noise. This is problematic for application which requires robustness and high level accuracy such as for tracking UAV position in underground tunnel or estimating firefighter position in emergency operation. To alleviate the problem of noisy feature engineering, machine learning algorithms, especially Deep Neural Networks (DNN), have been used in the past few years to automatically learn robust odometry features from large amounts of data. However, despite some promising results, several fundamental drawbacks still exist in terms of accuracy, efficiency, and applicability to visually-denied environments. The work presented in this thesis tackles these shortcomings by proposing a novel network architecture and optimization strategy for DNN-based odometry estimation. To address issues of accuracy and long-term consistency, we propose to train DNN-based VO using both a windowed-based composite transformation loss and relative transformation loss through curriculum learning. With this approach, we can improve the generalization ability of the network for both translation and rotation by 21% and 16% respectively. We also propose the use of an attention network to conditionally re-weight image features such that the network can produce more accurate poses whilst being more amenable to interpretation. This method improves translation and rotation estimation by 27.8% and 43.1% respectively over the model without attention. The second contribution deals with the efficiency problem of DNN-based VO by proposing the first distillation approach for camera pose regression. We demonstrate that distilling knowledge from a deep pose regression network can be done effectively if we emphasize the knowledge transfer only when we trust the teacher network prediction. We also show that a distilled network can be further compressed with factorization and could be more generalizable due to low-rank constraints. Our proposed approach can reduce the number of student parameters by up to 92.95% (2.12× faster) whilst keeping the prediction accuracy very close to that of the teacher. Finally, we deal with the issue of tracking in visually-denied environments by proposing the first DNN-based thermal-inertial odometry system. Since thermal images inherently lack robust features, we design the network to not only extract features from the thermal images, but to also hallucinate visual features given thermal image as the input. Through extensive evaluation across two datasets, we conclude that our proposed method can produces accurate odometry estimation with less than 2 m absolute trajectory errors on average.
Subjects/Keywords: Machine Learning; Cyber-Physical Systems; Robotics
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Saputra, M. (2020). Visual and thermal odometry with Deep Neural Networks. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:c54afe6e-836f-4c87-a2be-90ed617103a4 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.816665
Chicago Manual of Style (16th Edition):
Saputra, Muhamad. “Visual and thermal odometry with Deep Neural Networks.” 2020. Doctoral Dissertation, University of Oxford. Accessed January 25, 2021.
http://ora.ox.ac.uk/objects/uuid:c54afe6e-836f-4c87-a2be-90ed617103a4 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.816665.
MLA Handbook (7th Edition):
Saputra, Muhamad. “Visual and thermal odometry with Deep Neural Networks.” 2020. Web. 25 Jan 2021.
Vancouver:
Saputra M. Visual and thermal odometry with Deep Neural Networks. [Internet] [Doctoral dissertation]. University of Oxford; 2020. [cited 2021 Jan 25].
Available from: http://ora.ox.ac.uk/objects/uuid:c54afe6e-836f-4c87-a2be-90ed617103a4 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.816665.
Council of Science Editors:
Saputra M. Visual and thermal odometry with Deep Neural Networks. [Doctoral Dissertation]. University of Oxford; 2020. Available from: http://ora.ox.ac.uk/objects/uuid:c54afe6e-836f-4c87-a2be-90ed617103a4 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.816665
Virginia Tech
16.
Shafae, Mohammed Saeed Abuelmakarm.
Advancing the Utility of Manufacturing Data for Modeling, Monitoring, and Securing Machining Processes.
Degree: PhD, Industrial and Systems Engineering, 2018, Virginia Tech
URL: http://hdl.handle.net/10919/96812
► The growing adoption of smart manufacturing systems and its related technologies (e.g., embedded sensing, internet-of-things, cyber-physical systems, big data analytics, and cloud computing) is promising…
(more)
▼ The growing adoption of smart manufacturing
systems and its related technologies (e.g., embedded sensing, internet-of-things,
cyber-
physical systems, big data analytics, and cloud computing) is promising a paradigm shift in the manufacturing industry. Such
systems enable extracting and exchanging actionable knowledge across the different entities of the manufacturing
cyber-
physical system and beyond. From a quality control perspective, this allows for more opportunities to realize proactive product design; real-time process monitoring, diagnosis, prognosis, and control; and better product quality characterization. However, a multitude of challenges are arising, with the growing adoption of smart manufacturing, including industrial data characterized by increasing volume, velocity, variety, and veracity, as well as the security of the manufacturing system in the presence of growing connectivity. Taking advantage of these emerging opportunities and tackling the upcoming challenges require creating novel quality control and data analytics methods, which not only push the boundaries of the current state-of-the-art research, but discover new ways to analyze the data and utilize it.
One of the key pillars of smart manufacturing
systems is real-time automated process monitoring, diagnosis, and control methods for process/product anomalies. For machining applications, traditionally, deterioration in quality measures may occur due to a variety of assignable causes of variation such as poor cutting tool replacement decisions and inappropriate choice cutting parameters. Additionally, due to increased connectivity in modern manufacturing
systems, process/product anomalies intentionally induced through malicious
cyber-attacks – aiming at degrading the process performance and/or the part quality – is becoming a growing concern in the manufacturing industry. Current methods for detecting and diagnosing traditional causes of anomalies are primarily lab-based and require experts to perform initial set-ups and continual fine-tuning, reducing the applicability in industrial shop-floor applications. As for efforts accounting for process/product anomalies due
cyber-attacks, these efforts are in early stages. Therefore, more foundational research is needed to develop a clear understanding of this new type of
cyber-attacks and their effects on machining processes, to ensure smart manufacturing security both on the
cyber and the
physical levels.
With primary focus on machining processes, the overarching goal of this dissertation work is to explore new ways to expand the use and value of manufacturing data-driven methods for better applicability in industrial shop-floors and increased security of smart manufacturing
systems. As a first step toward achieving this goal, the work in this dissertation focuses on adopting this goal in three distinct areas of interest: (1) Statistical Process Monitoring of Time-Between-Events Data (e.g., failure-time data); (2) Defending against Product-Oriented
Cyber-
Physical Attacks on…
Advisors/Committee Members: Camelio, Jaime A. (committeechair), Wells, Lee Jay (committeechair), Woodall, William H. (committee member), Kong, Zhenyu (committee member).
Subjects/Keywords: Advanced Manufacturing Systems; Cyber-Physical Attacks; Cyber-Physical Systems Security; Quality Control; Statistical Process Control
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Shafae, M. S. A. (2018). Advancing the Utility of Manufacturing Data for Modeling, Monitoring, and Securing Machining Processes. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/96812
Chicago Manual of Style (16th Edition):
Shafae, Mohammed Saeed Abuelmakarm. “Advancing the Utility of Manufacturing Data for Modeling, Monitoring, and Securing Machining Processes.” 2018. Doctoral Dissertation, Virginia Tech. Accessed January 25, 2021.
http://hdl.handle.net/10919/96812.
MLA Handbook (7th Edition):
Shafae, Mohammed Saeed Abuelmakarm. “Advancing the Utility of Manufacturing Data for Modeling, Monitoring, and Securing Machining Processes.” 2018. Web. 25 Jan 2021.
Vancouver:
Shafae MSA. Advancing the Utility of Manufacturing Data for Modeling, Monitoring, and Securing Machining Processes. [Internet] [Doctoral dissertation]. Virginia Tech; 2018. [cited 2021 Jan 25].
Available from: http://hdl.handle.net/10919/96812.
Council of Science Editors:
Shafae MSA. Advancing the Utility of Manufacturing Data for Modeling, Monitoring, and Securing Machining Processes. [Doctoral Dissertation]. Virginia Tech; 2018. Available from: http://hdl.handle.net/10919/96812
Vanderbilt University
17.
Hasan, Saqib.
Improving Resilience in Large Scale Cyber-Physical Networks.
Degree: PhD, Electrical Engineering, 2019, Vanderbilt University
URL: http://hdl.handle.net/1803/10586
► Resilience in cyber-physical systems such as electrical power systems is of paramount importance for the socio-economic welfare of the society. Based on North American Electric…
(more)
▼ Resilience in
cyber-
physical systems such as electrical power
systems is of paramount importance for the socio-economic welfare of the society. Based on North American Electric Reliability Council (NERC), power
systems are designed to be single fault tolerant
systems. However, multiple failures do occur and result in cascading failures that cause severe system blackouts. These failures can result from both
physical faults and
cyber-effects that can be easily triggered via
cyber-attacks which have become more prevalent and feasible. Due to the large number of autonomous components, smart grids are becoming more vulnerable to such failures that increases system complexity and makes resilience a complex problem.
Several analysis models have been developed to analyze these failures however; they have their own limitations. These models focus mostly on time-independent
physical failures and analyze the system from only one aspect which greatly limits the analysis. In addition, considering the large scale of the power system networks, several multiple contingencies do occur as a result of both
physical failures and
cyber-attacks which can be static or dynamic in nature that causes severe system damage. However, due to the computational complexity, it is very difficult to identify the critical components using an exhaustive analysis. Moreover, we also face the challenge of effectively deploying the limited defense resources to protect the critical points in the network under financial budget constraints.
Therefore, in this work we present heuristical and game-theoretical based approaches to address the above-mentioned challenges. As a first step in the process, we have developed models and tools that can include
cyber failures in addition to
physical failures and provide the capability to initiate faults at different time instants. Next, we designed a framework to perform multi-platform analysis using Domain-Specific Modeling Language (DSML) based approach that integrate various exogenous tools together to perform a richer analysis. Further, we created mechanisms to optimally identify higher order critical contingencies using heuristical approaches. Finally, we developed game-theoretic based approaches towards identifying the effective deployment of the limited defense resources in order to improve the overall system resilience.
Advisors/Committee Members: Abhishek Dubey (committee member), Gautam Biswas (committee member), D. Mitchell Wilkes (committee member), Richard Alan Peters (committee member), Gabor Karsai (Committee Chair).
Subjects/Keywords: Heuristical and Statistical Approaches; Optimization; Cyber-Physical Systems Security; Intelligent Resource Allocation; Cyber-Attacks; Cyber-Physical Systems
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Hasan, S. (2019). Improving Resilience in Large Scale Cyber-Physical Networks. (Doctoral Dissertation). Vanderbilt University. Retrieved from http://hdl.handle.net/1803/10586
Chicago Manual of Style (16th Edition):
Hasan, Saqib. “Improving Resilience in Large Scale Cyber-Physical Networks.” 2019. Doctoral Dissertation, Vanderbilt University. Accessed January 25, 2021.
http://hdl.handle.net/1803/10586.
MLA Handbook (7th Edition):
Hasan, Saqib. “Improving Resilience in Large Scale Cyber-Physical Networks.” 2019. Web. 25 Jan 2021.
Vancouver:
Hasan S. Improving Resilience in Large Scale Cyber-Physical Networks. [Internet] [Doctoral dissertation]. Vanderbilt University; 2019. [cited 2021 Jan 25].
Available from: http://hdl.handle.net/1803/10586.
Council of Science Editors:
Hasan S. Improving Resilience in Large Scale Cyber-Physical Networks. [Doctoral Dissertation]. Vanderbilt University; 2019. Available from: http://hdl.handle.net/1803/10586
Virginia Tech
18.
Elhabashy, Ahmed Essam.
Quality Control Tools for Cyber-Physical Security of Production Systems.
Degree: PhD, Industrial and Systems Engineering, 2019, Virginia Tech
URL: http://hdl.handle.net/10919/86725
► The recent technological developments in computers and networking have made systems, such as production systems, more vulnerable to attacks having both cyber and physical components;…
(more)
▼ The recent technological developments in computers and networking have made
systems, such as production
systems, more vulnerable to attacks having both
cyber and
physical components; i.e., to
cyber-
physical attacks. In manufacturing, such attacks are not only capable of stealing valuable information, but can also destroy equipment, force
physical product changes, alter product’s mechanical characteristics, or endanger human lives. Typically, the manufacturing industry have relied on various Quality Control (QC) tools, such as product inspection, to detect the effects caused by these attacks. However, these attacks could be still designed in a way to avoid detection by traditional QC methods, which suggests a need for new and more effective QC tools. Such new tools should be able to prevent, or at least minimize, the effects of these attacks in manufacturing. Unfortunately, almost no research has been done on using QC tools for securing production
systems against these malicious attacks. Hence, the overarching goal of this work is to allow QC
systems to be designed in a more effective manner to act as a second line of defense, when traditional
cyber-security measures and attackers have already accessed the production system. To this end, this work focuses on: 1) understanding the role of QC
systems during the attack; 2) identifying existing weaknesses in QC tools and determining the effects of exploiting them by the attack; and 3) proposing more effective QC tools, for better protection against these types of
cyber-
physical attacks in manufacturing.
Advisors/Committee Members: Camelio, Jaime A. (committeechair), Wells, Lee Jay (committeechair), Kong, Zhenyu (committee member), Woodall, William H. (committee member).
Subjects/Keywords: Advanced Production Systems; Cyber-Physical Attacks; Cyber-Physical Security; Quality Control; Statistical Process Control
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Elhabashy, A. E. (2019). Quality Control Tools for Cyber-Physical Security of Production Systems. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/86725
Chicago Manual of Style (16th Edition):
Elhabashy, Ahmed Essam. “Quality Control Tools for Cyber-Physical Security of Production Systems.” 2019. Doctoral Dissertation, Virginia Tech. Accessed January 25, 2021.
http://hdl.handle.net/10919/86725.
MLA Handbook (7th Edition):
Elhabashy, Ahmed Essam. “Quality Control Tools for Cyber-Physical Security of Production Systems.” 2019. Web. 25 Jan 2021.
Vancouver:
Elhabashy AE. Quality Control Tools for Cyber-Physical Security of Production Systems. [Internet] [Doctoral dissertation]. Virginia Tech; 2019. [cited 2021 Jan 25].
Available from: http://hdl.handle.net/10919/86725.
Council of Science Editors:
Elhabashy AE. Quality Control Tools for Cyber-Physical Security of Production Systems. [Doctoral Dissertation]. Virginia Tech; 2019. Available from: http://hdl.handle.net/10919/86725
University of Rochester
19.
Chen, Zhuan.
System support for data-intensive sensing in the
field.
Degree: PhD, 2016, University of Rochester
URL: http://hdl.handle.net/1802/31468
► High-intensity data sensing and processing in the field are important for emerging applications in intelligent transportation, surveillance, and environmental management. Many such systems reside in…
(more)
▼ High-intensity data sensing and processing in the
field are important for emerging applications
in intelligent
transportation, surveillance, and environmental management.
Many
such systems reside in the field or mobile platforms away from the
wired infrastructure
and face unique challenges such as
application / system management under
unique field conditions,
resource constraint due to the lack of full-power computers and
high-speed network access, and the privacy concern of sensitive
data exposure.
In this dissertation, we study several system-level
approaches to support the emerging
data-intensive sensing systems
in the field. Specifically, we advocate the use of
virtualization
and virtual data management to tackle the unique field conditions
with
the advantages of easy deployment, flexible control, and data
containment. We further
explore efficient data deduplication
mechanisms with the optimized fingerprint management
under field
sensing workloads and the support of efficient, failure-consistent
I/O deduplication on Flash. Finally, we propose a new privacy
protection approach
for continuous data sensing systems with the
guarantee of purging sensitive data and
derived information over a
certain age.
Subjects/Keywords: Cyber-physical systems; Deduplication; Operating systems; Security; Storage systems; Virtualization
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Chen, Z. (2016). System support for data-intensive sensing in the
field. (Doctoral Dissertation). University of Rochester. Retrieved from http://hdl.handle.net/1802/31468
Chicago Manual of Style (16th Edition):
Chen, Zhuan. “System support for data-intensive sensing in the
field.” 2016. Doctoral Dissertation, University of Rochester. Accessed January 25, 2021.
http://hdl.handle.net/1802/31468.
MLA Handbook (7th Edition):
Chen, Zhuan. “System support for data-intensive sensing in the
field.” 2016. Web. 25 Jan 2021.
Vancouver:
Chen Z. System support for data-intensive sensing in the
field. [Internet] [Doctoral dissertation]. University of Rochester; 2016. [cited 2021 Jan 25].
Available from: http://hdl.handle.net/1802/31468.
Council of Science Editors:
Chen Z. System support for data-intensive sensing in the
field. [Doctoral Dissertation]. University of Rochester; 2016. Available from: http://hdl.handle.net/1802/31468
University of Notre Dame
20.
Feng Zhu.
Passivity Analysis and Passivation in the Design of
Cyber-Physical Systems</h1>.
Degree: Electrical Engineering, 2014, University of Notre Dame
URL: https://curate.nd.edu/show/47429882r2h
► This dissertation focuses on the analysis and control of cyber-physical systems (CPS) using dissipativity and passivity theory. Cyber-physical systems, as a new generation of…
(more)
▼ This dissertation focuses on the analysis and
control of
cyber-
physical systems (CPS) using dissipativity and
passivity theory.
Cyber-
physical systems, as a new generation of
systems with integrated computational and
physical capabilities,
present significant challenges in control design and analysis, due
to non-traditional modeling, uncertain environment and highly
coupled discrete-event and continuous-time dynamics. On the other
hand, it is well known that passive and dissipative
systems have
modeling, compositionality advantages and stability-guaranteed
performance, which are desirable requirements in CPS design.
However, it is not straightforward to apply dissipativity and
passivity theory to CPS directly in general. The
main contribution of this dissertation is to provide systematic and
computational methods of passivity analysis and passivation for
continuous, networked and hybrid dynamical
systems, which provide
modeling foundations for CPS. These methods are originally
developed for classical nonlinear
systems. They include passivity
analysis and passivation for interconnected
systems using passivity
indices and a transformation-based passivation scheme for
individual
systems. Later, it is shown that the proposed methods
can address the issues in the design of CPS, by considering hybrid
systems and networked control
systems (NCS), respectively. For
hybrid
systems, the transformation-based passivation scheme
provides valuable results on preserving passivity of switched
systems under quantization. For networked control
systems, the
problems of passivity analysis and passivation using passivity
indices for interconnected event-triggered feedback
systems are
investigated. The co-design of passivity levels and
event-triggering conditions demonstrates how the trade off between
required passivity levels and communication resource utilization
can be achieved in NCS. Overall, this
dissertation provides new approaches to passivity analysis and
passivation of CPS with the focus being on hybrid
systems and
networked control
systems. Numerical simulations and relevant
examples are also provided to demonstrate the practical
applications of these methods.
Advisors/Committee Members: Vijay Gupta, Committee Member, Peter H. Bauer, Committee Member, Hai Lin, Committee Member, Panos J. Antsaklis, Committee Chair.
Subjects/Keywords: cyber-physical systems; passivity-based control; networked control systems; hybrid systems
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Zhu, F. (2014). Passivity Analysis and Passivation in the Design of
Cyber-Physical Systems</h1>. (Thesis). University of Notre Dame. Retrieved from https://curate.nd.edu/show/47429882r2h
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Zhu, Feng. “Passivity Analysis and Passivation in the Design of
Cyber-Physical Systems</h1>.” 2014. Thesis, University of Notre Dame. Accessed January 25, 2021.
https://curate.nd.edu/show/47429882r2h.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Zhu, Feng. “Passivity Analysis and Passivation in the Design of
Cyber-Physical Systems</h1>.” 2014. Web. 25 Jan 2021.
Vancouver:
Zhu F. Passivity Analysis and Passivation in the Design of
Cyber-Physical Systems</h1>. [Internet] [Thesis]. University of Notre Dame; 2014. [cited 2021 Jan 25].
Available from: https://curate.nd.edu/show/47429882r2h.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Zhu F. Passivity Analysis and Passivation in the Design of
Cyber-Physical Systems</h1>. [Thesis]. University of Notre Dame; 2014. Available from: https://curate.nd.edu/show/47429882r2h
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Penn State University
21.
Akanmu, Abiola Abosede.
Towards Cyber-physical Systems Integration in Construction.
Degree: 2012, Penn State University
URL: https://submit-etda.libraries.psu.edu/catalog/14042
► There is an increasing growth in the use of virtual models in the construction industry. Virtual models offer huge potential in construction projects as a…
(more)
▼ There is an increasing growth in the use of virtual models in the construction industry. Virtual models offer huge potential in construction projects as a mean of collaboration, integration and communication. Virtual models also offer huge benefit in enabling documentation of as-built information. Despite the benefits of virtual models, their use is often limited to the design and tendering/bidding stage. Much more benefit can be derived from these models by extending their use to the construction and operations and maintenance phases of a facility’s lifecycle. A good way of achieving this involves real-time bi-directional coordination between virtual models and the
physical construction. To maintain bi-directional coordination, computational resources are required to tightly integrate the virtual models and the
physical construction such that changes in one environment are automatically reflected in the other. This is termed a
cyber-
physical systems approach.
This research was concerned with investigating the applicability of a
cyber-
physical systems approach in the construction industry for real-time consistency checking between virtual models and the
physical construction. A variety of research methods was adopted in the conduct of the research. A literature review was undertaken on
cyber-
physical systems, related integration efforts and enabling technologies in the construction industry and other industry sectors. This review enabled the identification of suitable technologies and opportunities for improvements to existing approaches. To illustrate the applicability of
cyber-
physical systems in realistic construction situations, four use case scenarios were developed and analyzed with industry experts. The scenarios illustrate how
cyber-
physical systems approach can be used to enhance the steel erection process, notify door placement changes on a retrofit project, track changes to engineered components, and track and control bulk components during a facility lifecycle. Two prototype
systems were developed, one of which was evaluated with a group of industry practitioners.
The developed
systems illustrate how current construction practices can be enhanced and also shows the wider benefits of the proposed approach for the construction industry. These benefits include access to real-time progress information which will aid the construction project team in quick decision making and the potential for enhancing real-time communication and collaboration between the personnel on the job site and the office. Another benefit is that the proposed approach can facilitate improvements in facility management practices by enhancing the current process of as-built documentation, which will aid performance monitoring and control of the constructed facility. By demonstrating the potential of the
cyber-
physical systems integration approach, this research has opened the door to new CPS applications in the construction industry.
Advisors/Committee Members: Chinemelu Jidenka Anumba, Dissertation Advisor/Co-Advisor, Chinemelu Jidenka Anumba, Committee Chair/Co-Chair, John Messner, Committee Member, Stephen James Treado, Committee Member, John Yen, Committee Member.
Subjects/Keywords: Virtual Models; Physical Construction; Cyber-Physical Systems; Bi-directional Coordination
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Akanmu, A. A. (2012). Towards Cyber-physical Systems Integration in Construction. (Thesis). Penn State University. Retrieved from https://submit-etda.libraries.psu.edu/catalog/14042
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Akanmu, Abiola Abosede. “Towards Cyber-physical Systems Integration in Construction.” 2012. Thesis, Penn State University. Accessed January 25, 2021.
https://submit-etda.libraries.psu.edu/catalog/14042.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Akanmu, Abiola Abosede. “Towards Cyber-physical Systems Integration in Construction.” 2012. Web. 25 Jan 2021.
Vancouver:
Akanmu AA. Towards Cyber-physical Systems Integration in Construction. [Internet] [Thesis]. Penn State University; 2012. [cited 2021 Jan 25].
Available from: https://submit-etda.libraries.psu.edu/catalog/14042.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Akanmu AA. Towards Cyber-physical Systems Integration in Construction. [Thesis]. Penn State University; 2012. Available from: https://submit-etda.libraries.psu.edu/catalog/14042
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
University of California – Berkeley
22.
Liu, Isaac Suyu.
Precision Timed Machines.
Degree: Electrical Engineering & Computer Sciences, 2012, University of California – Berkeley
URL: http://www.escholarship.org/uc/item/49w8c7t9
► Cyber-Physical Systems (CPS) are integrations of computation with physical processes. These systems must be equipped to handle the inherent concurrency and inexorable passage of time…
(more)
▼ Cyber-Physical Systems (CPS) are integrations of computation with physical processes. These systems must be equipped to handle the inherent concurrency and inexorable passage of time of physical processes. Traditional computing abstractions only concern themselves with the functional aspects of a program, and not its timing properties. Thus, nearly every abstraction layer has failed to incorporate time into its semantics; the passage of time is merely a consequence of the implementation. When the temporal properties of the system must be guaranteed, designers must reach beneath the abstraction layers. This not only increases the design complexity and effort, but the systems are overdesigned, brittle and extremely sensitive to change.In this work, we address the difficulties of handling time in computing systems by re- examining the lower levels of abstraction. In particular, we focus on the instruction set architecture (ISA) layer and its affects on microarchitecture design. The ISA defines the contract between software instructions and hardware implementations. Modern ISAs do not constrain timing properties of instructions as part of the contract. Thus, architecture designs have largely implemented techniques that improve average performance at the expense of execution time variability. This leads to imprecise WCET bounds that limit the timing predictability and timing composability of architectures.In order to address the lack of temporal semantics in the ISA, we propose instruction extensions to the ISA that give temporal meaning to the program. The instruction extensions allow programs to specify execution time properties in software that must be observed for any correct execution of the program. These include the ability to specify a minimum execution time for code blocks, and the ability to detect and handle missed deadlines from code blocks that exhibit variable execution times. This brings control over timing to the software and allows programs to contain timing properties that are independent of the underlying architecture. In addition, we present the Precision Timed ARM (PTARM) architecture, a realization of Precision Timed (PRET) machines that provides timing predictability and composability without sacrificing performance. PTARM employs a predictable thread-interleaved pipeline with an exposed memory hierarchy that uses scratchpads and a predictable DRAM controller. This removes timing interference among the hardware threads, enabling timing composability in the architecture, and provides deterministic execution times for instructions within the architecture, enabling timing predictability in the architecture. We show that the predictable thread-interleaved pipeline and DRAM controller design also achieve better throughput compared to conventional architectures when fully utilized, accomplishing our goal to provide both predictability and performance. To show the applicability of the architecture, we present two applications implementedwith the PRET architecture that utilize the predictable execution time…
Subjects/Keywords: Computer engineering; Computer Architecture; Cyber-Physical Systems; Predictability; Real-time Systems
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Liu, I. S. (2012). Precision Timed Machines. (Thesis). University of California – Berkeley. Retrieved from http://www.escholarship.org/uc/item/49w8c7t9
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Liu, Isaac Suyu. “Precision Timed Machines.” 2012. Thesis, University of California – Berkeley. Accessed January 25, 2021.
http://www.escholarship.org/uc/item/49w8c7t9.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Liu, Isaac Suyu. “Precision Timed Machines.” 2012. Web. 25 Jan 2021.
Vancouver:
Liu IS. Precision Timed Machines. [Internet] [Thesis]. University of California – Berkeley; 2012. [cited 2021 Jan 25].
Available from: http://www.escholarship.org/uc/item/49w8c7t9.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Liu IS. Precision Timed Machines. [Thesis]. University of California – Berkeley; 2012. Available from: http://www.escholarship.org/uc/item/49w8c7t9
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
University of Alberta
23.
Shi, Dawei.
Event-based State Estimation in Cyber-Physical
Systems.
Degree: PhD, Department of Electrical and Computer
Engineering, 2014, University of Alberta
URL: https://era.library.ualberta.ca/files/08612p632
► This thesis focuses on event-based state estimation problems in the context of cyber-physical systems (CPSs), targeting at low-complexity event-based state estimators that are optimal in…
(more)
▼ This thesis focuses on event-based state estimation
problems in the context of cyber-physical systems (CPSs), targeting
at low-complexity event-based state estimators that are optimal in
a certain sense. The motivation stems from the resource limitations
in the applications of CPSs (e.g., wireless sensor networks) as
well as the increased computation burden in calculating the optimal
state estimates caused by the event-triggering conditions. Several
event-based estimation problems are formulated and solved using
different approaches, including the maximum likelihood estimation
approach, the approximate Gaussian filtering approach, the
set-valued Kalman filtering approach and the change of probability
measure approach. For all these investigations, optimal state
estimates with simple structures that can be recursively calculated
are obtained, which form the major contributions of this thesis.
Also, the performance improvements in the sense of average
estimation errors by exploiting the information contained in the
event-triggering conditions are addressed either by theoretical
proofs or extensive numerical simulations. Several results on
communication rate analysis are proposed, which are relevant and
necessary for event-based estimation, considering the potential
communication resource limitations in CPSs. Based on the developed
results, the outcome of the research attempts on event-based
estimation is encouraging, and a distinct and systematic approach
to event-based estimation seems on the horizon. The results are not
only of theoretical value, but are potentially implementable to a
variety of applications in industrial processes, due to the
practical considerations in both the problem formulations and the
design procedures.
Subjects/Keywords: State Estimation; Cyber-Physical Systems; Event-Triggered Systems
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Shi, D. (2014). Event-based State Estimation in Cyber-Physical
Systems. (Doctoral Dissertation). University of Alberta. Retrieved from https://era.library.ualberta.ca/files/08612p632
Chicago Manual of Style (16th Edition):
Shi, Dawei. “Event-based State Estimation in Cyber-Physical
Systems.” 2014. Doctoral Dissertation, University of Alberta. Accessed January 25, 2021.
https://era.library.ualberta.ca/files/08612p632.
MLA Handbook (7th Edition):
Shi, Dawei. “Event-based State Estimation in Cyber-Physical
Systems.” 2014. Web. 25 Jan 2021.
Vancouver:
Shi D. Event-based State Estimation in Cyber-Physical
Systems. [Internet] [Doctoral dissertation]. University of Alberta; 2014. [cited 2021 Jan 25].
Available from: https://era.library.ualberta.ca/files/08612p632.
Council of Science Editors:
Shi D. Event-based State Estimation in Cyber-Physical
Systems. [Doctoral Dissertation]. University of Alberta; 2014. Available from: https://era.library.ualberta.ca/files/08612p632
Vanderbilt University
24.
Dai, Siyuan.
Compositional Modeling and Design of Cyber-Physical Systems Using Port-Hamiltonian Systems.
Degree: PhD, Electrical Engineering, 2016, Vanderbilt University
URL: http://hdl.handle.net/1803/13816
► Cyber-physical systems are complex engineering systems that integrate computational, communication, and control components with physical components in many applications such as automotive systems, aeronautical systems,…
(more)
▼ Cyber-
physical systems are complex engineering
systems that integrate computational, communication, and control components with
physical components in many applications such as automotive
systems, aeronautical
systems, industrial process control
systems, electrical power grids, and environmental monitoring
systems. As the
cyber components increase in both number and complexity, technical challenges arise for their integration with the
physical domain. As the field of
cyber-
physical systems continues to grow and evolve, problems emerge from the interaction of heterogeneous domains, hybrid dynamics, and nonlinearities which significantly hamper the system integration. Consequently, rigorous engineering methods are needed for the integration of
cyber and
physical components in order to achieve predictable, correct behavior.
This dissertation presents a model-based design framework based on port-Hamiltonian
systems and passivity in order to address the challenges mentioned above. The contributions are threefold: (1) A domain-specific modeling language, (2) a compositional model-based control design method, and (2) a formal safety analysis method for multi-modal port Hamiltonian
systems. The Port-Hamiltonian
Systems Modeling Language uses the structure of port-Hamiltonian
systems to model
cyber-
physical systems with nonlinearities, hybrid dynamics, and heterogeneous domains in a component-based way. The compositional model-based control design method uses passivity-based methods to ensure stability properties of the overall system in the presence of implementation uncertainties. The safety analysis method utilizes the Hamiltonian function as a barrier function to prevent system trajectories from ending in unsafe regions of the state space.
The theoretical contributions are evaluated and validated with an in-depth case study of automotive control software for an autonomous vehicle using a hardware-in-the-loop simulation platform.
Advisors/Committee Members: Janos Sztipanovits (committee member), Gabor Karsai (committee member), Gautam Biswas (committee member), Shige Wang (committee member), Xenofon Koutsoukos (Committee Chair).
Subjects/Keywords: modeling; safety; control design; cyber-physical systems; port-Hamiltonian systems
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Dai, S. (2016). Compositional Modeling and Design of Cyber-Physical Systems Using Port-Hamiltonian Systems. (Doctoral Dissertation). Vanderbilt University. Retrieved from http://hdl.handle.net/1803/13816
Chicago Manual of Style (16th Edition):
Dai, Siyuan. “Compositional Modeling and Design of Cyber-Physical Systems Using Port-Hamiltonian Systems.” 2016. Doctoral Dissertation, Vanderbilt University. Accessed January 25, 2021.
http://hdl.handle.net/1803/13816.
MLA Handbook (7th Edition):
Dai, Siyuan. “Compositional Modeling and Design of Cyber-Physical Systems Using Port-Hamiltonian Systems.” 2016. Web. 25 Jan 2021.
Vancouver:
Dai S. Compositional Modeling and Design of Cyber-Physical Systems Using Port-Hamiltonian Systems. [Internet] [Doctoral dissertation]. Vanderbilt University; 2016. [cited 2021 Jan 25].
Available from: http://hdl.handle.net/1803/13816.
Council of Science Editors:
Dai S. Compositional Modeling and Design of Cyber-Physical Systems Using Port-Hamiltonian Systems. [Doctoral Dissertation]. Vanderbilt University; 2016. Available from: http://hdl.handle.net/1803/13816
Delft University of Technology
25.
Roest, C. (author).
Enabling the Chaos Networking Primitive on Bluetooth LE.
Degree: 2015, Delft University of Technology
URL: http://resolver.tudelft.nl/uuid:95f50b13-6af5-4bb3-83ef-84b065e13682
► Cyber-Physical Systems (CPS) integrate physical processes, sensors, and embedded computers to facilitate advanced control systems such as autonomous cars and smart cities. Communication in CPS…
(more)
▼ Cyber-Physical Systems (CPS) integrate physical processes, sensors, and embedded computers to facilitate advanced control systems such as autonomous cars and smart cities. Communication in CPS has tight constraints regarding reliability and latency, while traditional networking primitives can not guarantee these constraints. We base our thesis on the Chaos networking primitive which is a new paradigm that overcomes these limitations of traditional networking primitives. The current radio standard on which Chaos relies, is used more in science and industry, but less in everyday devices. We want to bring Chaos from the lab to the real world by porting the primitive to Bluetooth Low Energy (BLE). This thesis presents Chaos BLE: an implementation of the Chaos communication primitive on Bluetooth Low Energy. We characterised the capture effect on BLE and achieved accurate time synchronisation among nodes (< 2.5?s), both of which are key for the operation of the Chaos primitive. We validated our design and implementation on a 25 node BLE testbed that we have build at Delft University of Technology. In order to improve the performance of Chaos BLE and to mitigate channel interference, we propose a multichannel approach. The Chaos Multichannel primitive enables the network to use multiple channels in parallel, such that smaller sub-networks arise. Chaos Multichannel outperforms the single channel primitive in terms of reliability and latency. It achieves reliabilities close to 100% while finding a consensus among the nodes up to 2 times faster, compared to the single channel approach.
Embedded Software
Software and Computer Technology
Electrical Engineering, Mathematics and Computer Science
Advisors/Committee Members: Zuniga Zamaloa, M.A. (mentor), Landsiedel, O. (mentor).
Subjects/Keywords: Cyber-Physical Systems; Communication Primitives; Wireless Embedded Systems; Internet-of-Things
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Roest, C. (. (2015). Enabling the Chaos Networking Primitive on Bluetooth LE. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:95f50b13-6af5-4bb3-83ef-84b065e13682
Chicago Manual of Style (16th Edition):
Roest, C (author). “Enabling the Chaos Networking Primitive on Bluetooth LE.” 2015. Masters Thesis, Delft University of Technology. Accessed January 25, 2021.
http://resolver.tudelft.nl/uuid:95f50b13-6af5-4bb3-83ef-84b065e13682.
MLA Handbook (7th Edition):
Roest, C (author). “Enabling the Chaos Networking Primitive on Bluetooth LE.” 2015. Web. 25 Jan 2021.
Vancouver:
Roest C(. Enabling the Chaos Networking Primitive on Bluetooth LE. [Internet] [Masters thesis]. Delft University of Technology; 2015. [cited 2021 Jan 25].
Available from: http://resolver.tudelft.nl/uuid:95f50b13-6af5-4bb3-83ef-84b065e13682.
Council of Science Editors:
Roest C(. Enabling the Chaos Networking Primitive on Bluetooth LE. [Masters Thesis]. Delft University of Technology; 2015. Available from: http://resolver.tudelft.nl/uuid:95f50b13-6af5-4bb3-83ef-84b065e13682
University of Notre Dame
26.
Yang Yan.
Dissipativity Analysis and Resilient Design for Cyber
Physical Systems</h1>.
Degree: Electrical Engineering, 2019, University of Notre Dame
URL: https://curate.nd.edu/show/6395w665x5p
► This dissertation studies dissipativity analysis and resilient design for Cyber Physical Systems (CPS) when physical entities are interconnected and controlled over communication networks. CPS…
(more)
▼ This dissertation studies dissipativity
analysis and resilient design for
Cyber Physical Systems (CPS) when
physical entities are interconnected and controlled over
communication networks. CPS incorporate heterogeneous
systems in
dynamic environment and provide distributed coordination
intelligently. The goal of this work is to develop a compositional
control infrastructure that can govern the sub-units’ interactions
and provide expected control performances for users. In this work,
the central concept in the design of CPS is the energy based
concept of passivity. Using passivity and its generalization of
dissipativity, we are able to address compositionality and
resilience in CPS, where resilience refers to the capability for a
system to tolerances errors and takes actions when facing model
uncertainties,
physical disturbances, random faults, communication
interference or malicious attacks. This
dissertation focus on the following problems: (1) how to
quantitatively estimate and analyze the passivity of a plant from
its approximate system representation considering model
discrepancies; (2) how to design a joint disturbance observer and
robust controller facing exogenous uncertainties and adversarial
attacks; (3) how to preserve the passive and stable performances of
interconnected
systems over communication networks; (4) how to
analyze dissipativity under a digital control framework for
two-dimensional
systems. This dissertation addresses complex but
common problems in networked
Cyber Physical Systems, the solutions
of which can benefit practical applications by designing more
resilient, efficient and intelligent
systems.
Advisors/Committee Members: Panos Antsaklis, Research Director.
Subjects/Keywords: Systems and Control; Cyber Physical Systems; Passivity; Resilient Control
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Yan, Y. (2019). Dissipativity Analysis and Resilient Design for Cyber
Physical Systems</h1>. (Thesis). University of Notre Dame. Retrieved from https://curate.nd.edu/show/6395w665x5p
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Yan, Yang. “Dissipativity Analysis and Resilient Design for Cyber
Physical Systems</h1>.” 2019. Thesis, University of Notre Dame. Accessed January 25, 2021.
https://curate.nd.edu/show/6395w665x5p.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Yan, Yang. “Dissipativity Analysis and Resilient Design for Cyber
Physical Systems</h1>.” 2019. Web. 25 Jan 2021.
Vancouver:
Yan Y. Dissipativity Analysis and Resilient Design for Cyber
Physical Systems</h1>. [Internet] [Thesis]. University of Notre Dame; 2019. [cited 2021 Jan 25].
Available from: https://curate.nd.edu/show/6395w665x5p.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Yan Y. Dissipativity Analysis and Resilient Design for Cyber
Physical Systems</h1>. [Thesis]. University of Notre Dame; 2019. Available from: https://curate.nd.edu/show/6395w665x5p
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
University of Limerick
27.
Alrimawi, Faeq.
Software engineering for forensic-ready cyber-physical systems.
Degree: 2020, University of Limerick
URL: http://hdl.handle.net/10344/9294
► peer-reviewed
Cyber-Physical Systems (CPSs) are part of most critical infrastructures such as industrial automation and transportation systems. Security incidents targeting CPSs can have disruptive consequences…
(more)
▼ peer-reviewed
Cyber-Physical Systems (CPSs) are part of most critical infrastructures such as industrial automation and transportation systems. Security incidents targeting CPSs can have disruptive consequences on assets and people. Since prior incidents tend to re-occur, sharing knowledge about these incidents can potentially help organisations be more prepared to investigate future incidents, i.e. to be forensicready for future investigations of incidents.
In this thesis, we aim to support forensic readiness of CPSs. To this end, we propose a novel approach for representing and sharing security incidents knowledge between systems to assess organisations’ forensic readiness. We represent incident knowledge as incident patterns that capture incident characteristics (e.g., incident activities) that can manifest again. Incident patterns are a more abstract representation of incident instances and, thus, can be shared between systems. To support the approach, we provide two meta-models that represent, respectively, incidents and systems. The incident meta-model captures the characteristics of incidents, such as assets and activities. The system meta-model captures cyber and physical components and their interactions. We provide an automated technique to extract an incident pattern from a specific incident instance. To assess how incident patterns can manifest in systems, we propose an automated technique to instantiate incident patterns to specific systems. We propose a set of software tools to facilitate incident management in smart spaces (e.g., smart buildings). We provide a System Editor to represent smart buildings where incidents can occur. We also propose an Incident Editor to represent the activities of an incident and associated entities (e.g., location). We also propose an Incident Filter that allows viewing and prioritising the most relevant incident instantiations. To assess forensic readiness of CPSs, we propose an automated technique to assess availability of data sources that are required to observe and store data about events relevant to future investigations of incidents. We demonstrate the feasibility of our approach in the application domain of smart buildings using two substantive scenarios inspired by real-world systems and incidents.
Advisors/Committee Members: Nuseibeh, Bashar, Pasquale, Liliana, ERC, SFI.
Subjects/Keywords: software engineering; Cyber-Physical Systems (CPSs); industrial automation; transportation systems
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Alrimawi, F. (2020). Software engineering for forensic-ready cyber-physical systems. (Thesis). University of Limerick. Retrieved from http://hdl.handle.net/10344/9294
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Alrimawi, Faeq. “Software engineering for forensic-ready cyber-physical systems.” 2020. Thesis, University of Limerick. Accessed January 25, 2021.
http://hdl.handle.net/10344/9294.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Alrimawi, Faeq. “Software engineering for forensic-ready cyber-physical systems.” 2020. Web. 25 Jan 2021.
Vancouver:
Alrimawi F. Software engineering for forensic-ready cyber-physical systems. [Internet] [Thesis]. University of Limerick; 2020. [cited 2021 Jan 25].
Available from: http://hdl.handle.net/10344/9294.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Alrimawi F. Software engineering for forensic-ready cyber-physical systems. [Thesis]. University of Limerick; 2020. Available from: http://hdl.handle.net/10344/9294
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
University of Arizona
28.
Risso Sepulveda, Maria Nathalie.
Robust Model Predictive Control of Cyber-Physical Systems
.
Degree: 2020, University of Arizona
URL: http://hdl.handle.net/10150/636975
► Cyber-physical systems (CPS) are integrations of computation, communications and physical processes. These systems inherently require an effective interaction between the physical and digital elements. Design…
(more)
▼ Cyber-
physical systems (CPS) are integrations of computation, communications and
physical processes. These
systems inherently require an effective interaction between the
physical and digital elements. Design of CPS involves both capturing the integrated dynamics with models that can provide accurate predictions, and effective controllers which can guarantee performance, particularly when dealing with safety critical applications. Model Predictive Control (MPC) is frequently used for the control of CPS since it can provide online decision making, thanks to its ability to handle dynamic and static constraints. Since MPC is a model-based technique, the presence of uncertainty when generating predictions could result in trajectories with significant variations. This becomes particularly challenging when generating methods for CPS controller design, since CPS model approximations are hard to synthesize, and often lead to non-negligible modeling errors. This motivates the study of methods that can provide guaranteed performance under the effects of uncertainty and dynamic system constraints. In this work, we consider
systems evolving in discrete-time (which could come from the discretization of a CPS model), where the state variable is set-valued. The solutions to these
systems are given by sequences of sets that are explicitly generated by a set-valued map and a constraint set. This representation is beneficial since it can easily encode constraints, uncertainty and system dynamics that exhibit non-determinism. Under this approach, we can also analyze the effects of inputs generated from anytime optimization routines, where, for instance, input variability can be represented as a set and propagated to analyze reachability, in order to guarantee safety. For these
systems, to which we refer as set dynamical
systems, we provide several results which can be used to synthesize controllers which achieve robust performance, embedded in the set-based formulation. First, we develop tools to locate omega limit sets by using Lyapunov-like conditions and an invariance principle for set dynamical
systems. The latter uses non-strict Lyapunov functions to determine convergence properties of set-valued solutions and, conveniently, is similar in spirit to the invariance principles available for continuous and discrete-time
systems. Next, we provide tools to certify asymptotic stability of sets for set dynamical
systems. We develop such tools by following a similar path to the development of the continuous and discrete-time counterpart for classical dynamical
systems. In this way, we exploit the invariance principle for set dynamical
systems, and generate sufficient conditions for asymptotic stability that resemble those by Krasovskii and Lyapunov. These results are then used to provide - though not constructive - sufficient conditions for the design of stabilizing state-feedback controllers for such
systems, which, unlike the classical approach, allow for feedback laws that involve sets rather than points. Finally, we use this set-valued…
Advisors/Committee Members: Sprinkle, Jonathan (advisor), Sanfelice, Ricardo G. (committeemember), Tharp, Hal (committeemember), Ditzler, Gregory (committeemember), Momayez, Moe (committeemember).
Subjects/Keywords: cyber-physical systems;
Lyapunov methods;
predictive control;
set dynamical systems
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Risso Sepulveda, M. N. (2020). Robust Model Predictive Control of Cyber-Physical Systems
. (Doctoral Dissertation). University of Arizona. Retrieved from http://hdl.handle.net/10150/636975
Chicago Manual of Style (16th Edition):
Risso Sepulveda, Maria Nathalie. “Robust Model Predictive Control of Cyber-Physical Systems
.” 2020. Doctoral Dissertation, University of Arizona. Accessed January 25, 2021.
http://hdl.handle.net/10150/636975.
MLA Handbook (7th Edition):
Risso Sepulveda, Maria Nathalie. “Robust Model Predictive Control of Cyber-Physical Systems
.” 2020. Web. 25 Jan 2021.
Vancouver:
Risso Sepulveda MN. Robust Model Predictive Control of Cyber-Physical Systems
. [Internet] [Doctoral dissertation]. University of Arizona; 2020. [cited 2021 Jan 25].
Available from: http://hdl.handle.net/10150/636975.
Council of Science Editors:
Risso Sepulveda MN. Robust Model Predictive Control of Cyber-Physical Systems
. [Doctoral Dissertation]. University of Arizona; 2020. Available from: http://hdl.handle.net/10150/636975
University of Texas – Austin
29.
Wei, Yi-Hung.
Real-time communication platfrom for wireless cyber-physical applications.
Degree: PhD, Computer science, 2016, University of Texas – Austin
URL: http://hdl.handle.net/2152/43585
► A Cyber-Physical System (CPS) is a physical system whose operations are monitored, coordinated, and controlled by computation and communication processes. Applying wireless technologies to cyber-physical…
(more)
▼ A
Cyber-
Physical System (CPS) is a
physical system whose operations are monitored, coordinated, and controlled by computation and communication processes. Applying wireless technologies to
cyber-
physical systems can significantly enhance the system mobility and reduce the deployment and maintenance cost. Existing wireless technologies, however either cannot provide real-time or probabilistic guarantee on packet delivery or are not fast enough to support desired application requirements. Nondeterministic packet transmission and insufficiently high sampling rate will severely hurt application performance. To address this problem, we propose a real-time wireless communication platform called RT-WiFi. In this dissertation, we present our design and implementation of the data link layer and network management framework of RT-WiFi platform that provides predictable packet delivery and high sampling rate. The RT-WiFi communication platform is designed to support configurable components for adjusting design trade-offs including sampling rate, latency variance, reliability and thus can serve as a suitable communication platform for supporting a wide range of wireless CPS applications. Based on the RT-WiFi management platform, we further propose advanced network management techniques to provide jitter-free scheduling algorithm for improving system performance and to support reliable data transmission in noisy environments. To evaluate the effectiveness of our proposed algorithms and to verify the efficiency of our network management platform, we conduct a series of experiments and a case study that integrate the RT-WiFi communication platform with a health care CPS application to investigate the application performance in the real world.
Advisors/Committee Members: Mok, Aloysius Ka-Lau (advisor), Gouda, Mohamed G. (committee member), Han, Song (committee member), Lam, Simon S. (committee member), Qiu, Lili (committee member).
Subjects/Keywords: Cyber-physical systems; Real-time systems; Real-time wireless communication
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Wei, Y. (2016). Real-time communication platfrom for wireless cyber-physical applications. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/43585
Chicago Manual of Style (16th Edition):
Wei, Yi-Hung. “Real-time communication platfrom for wireless cyber-physical applications.” 2016. Doctoral Dissertation, University of Texas – Austin. Accessed January 25, 2021.
http://hdl.handle.net/2152/43585.
MLA Handbook (7th Edition):
Wei, Yi-Hung. “Real-time communication platfrom for wireless cyber-physical applications.” 2016. Web. 25 Jan 2021.
Vancouver:
Wei Y. Real-time communication platfrom for wireless cyber-physical applications. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2016. [cited 2021 Jan 25].
Available from: http://hdl.handle.net/2152/43585.
Council of Science Editors:
Wei Y. Real-time communication platfrom for wireless cyber-physical applications. [Doctoral Dissertation]. University of Texas – Austin; 2016. Available from: http://hdl.handle.net/2152/43585
Virginia Commonwealth University
30.
Leccadito, Matthew.
A Hierarchical Architectural Framework for Securing Unmanned Aerial Systems.
Degree: PhD, Engineering, 2017, Virginia Commonwealth University
URL: https://doi.org/10.25772/0DK3-E418
;
https://scholarscompass.vcu.edu/etd/5037
► Unmanned Aerial Systems (UAS) are becoming more widely used in the new era of evolving technology; increasing performance while decreasing size, weight, and cost.…
(more)
▼ Unmanned Aerial
Systems (UAS) are becoming more widely used in the new era of evolving technology; increasing performance while decreasing size, weight, and cost. A UAS equipped with a Flight Control System (FCS) that can be used to fly semi- or fully-autonomous is a prime example of a
Cyber Physical and Safety Critical system. Current
Cyber-
Physical defenses against malicious attacks are structured around security standards for best practices involving the development of protocols and the digital software implementation. Thus far, few attempts have been made to embed security into the architecture of the system considering security as a holistic problem. Therefore, a Hierarchical, Embedded,
Cyber Attack Detection (HECAD) framework is developed to provide security in a holistic manor, providing resiliency against
cyber-attacks as well as introducing strategies for mitigating and dealing with component failures. Traversing the hardware/software barrier, HECAD provides detection of malicious faults at the hardware and software level; verified through the development of an FPGA implementation and tested using a UAS FCS.
Advisors/Committee Members: Robert H. Klenke, Tim Bakker, Carl Elks, Milos Manic, Edward Boone.
Subjects/Keywords: Unmanned Aerial Systems; Cyber Physical Systems; Cyber Security; Unmanned Aerial Vehicle; Robotics; VLSI and Circuits, Embedded and Hardware Systems
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Leccadito, M. (2017). A Hierarchical Architectural Framework for Securing Unmanned Aerial Systems. (Doctoral Dissertation). Virginia Commonwealth University. Retrieved from https://doi.org/10.25772/0DK3-E418 ; https://scholarscompass.vcu.edu/etd/5037
Chicago Manual of Style (16th Edition):
Leccadito, Matthew. “A Hierarchical Architectural Framework for Securing Unmanned Aerial Systems.” 2017. Doctoral Dissertation, Virginia Commonwealth University. Accessed January 25, 2021.
https://doi.org/10.25772/0DK3-E418 ; https://scholarscompass.vcu.edu/etd/5037.
MLA Handbook (7th Edition):
Leccadito, Matthew. “A Hierarchical Architectural Framework for Securing Unmanned Aerial Systems.” 2017. Web. 25 Jan 2021.
Vancouver:
Leccadito M. A Hierarchical Architectural Framework for Securing Unmanned Aerial Systems. [Internet] [Doctoral dissertation]. Virginia Commonwealth University; 2017. [cited 2021 Jan 25].
Available from: https://doi.org/10.25772/0DK3-E418 ; https://scholarscompass.vcu.edu/etd/5037.
Council of Science Editors:
Leccadito M. A Hierarchical Architectural Framework for Securing Unmanned Aerial Systems. [Doctoral Dissertation]. Virginia Commonwealth University; 2017. Available from: https://doi.org/10.25772/0DK3-E418 ; https://scholarscompass.vcu.edu/etd/5037
◁ [1] [2] [3] [4] [5] … [12] ▶
. 
Open Access Theses and Dissertations