Open Access. Powered by Scholars. Published by Universities.®
- Keyword
-
- Simulation (2)
- CAmkES (1)
- Control (1)
- Cyber security (1)
- Electric field modeling (1)
-
- Genetic algorithm (1)
- Kinematic sensing (1)
- MEMS (1)
- Microfactory (1)
- Microrobot (1)
- Model checking (1)
- Modeling (1)
- Neuron (1)
- Nursing assistant (1)
- Physical Human-Robot Interaction (1)
- Pulse position optimization (1)
- Robotics (1)
- SeL4 (1)
- Spinal cord stimulation (1)
- TLA+ (1)
- Technology acceptance model (1)
- Verification (1)
Articles 1 - 4 of 4
Full-Text Articles in Computer Engineering
Modeling, Simulation And Control Of Microrobots For The Microfactory., Zhong Yang
Modeling, Simulation And Control Of Microrobots For The Microfactory., Zhong Yang
Electronic Theses and Dissertations
Future assembly technologies will involve higher levels of automation in order to satisfy increased microscale or nanoscale precision requirements. Traditionally, assembly using a top-down robotic approach has been well-studied and applied to the microelectronics and MEMS industries, but less so in nanotechnology. With the boom of nanotechnology since the 1990s, newly designed products with new materials, coatings, and nanoparticles are gradually entering everyone’s lives, while the industry has grown into a billion-dollar volume worldwide. Traditionally, nanotechnology products are assembled using bottom-up methods, such as self-assembly, rather than top-down robotic assembly. This is due to considerations of volume handling of large …
Collaborative Human-Machine Interfaces For Mobile Manipulators., Shamsudeen Olawale Abubakar
Collaborative Human-Machine Interfaces For Mobile Manipulators., Shamsudeen Olawale Abubakar
Electronic Theses and Dissertations
The use of mobile manipulators in service industries as both agents in physical Human Robot Interaction (pHRI) and for social interactions has been on the increase in recent times due to necessities like compensating for workforce shortages and enabling safer and more efficient operations amongst other reasons. Collaborative robots, or co-bots, are robots that are developed for use with human interaction through direct contact or close proximity in a shared space with the human users. The work presented in this dissertation focuses on the design, implementation and analysis of components for the next-generation collaborative human machine interfaces (CHMI) needed for …
Formally Designing And Implementing Cyber Security Mechanisms In Industrial Control Networks., Mehdi Sabraoui
Formally Designing And Implementing Cyber Security Mechanisms In Industrial Control Networks., Mehdi Sabraoui
Electronic Theses and Dissertations
This dissertation describes progress in the state-of-the-art for developing and deploying formally verified cyber security devices in industrial control networks. It begins by detailing the unique struggles that are faced in industrial control networks and why concepts and technologies developed for securing traditional networks might not be appropriate. It uses these unique struggles and examples of contemporary cyber-attacks targeting control systems to argue that progress in securing control systems is best met with formal verification of systems, their specifications, and their security properties. This dissertation then presents a development process and identifies two technologies, TLA+ and seL4, that can be …
Modeling And Simulation Methodologies For Spinal Cord Stimulation., Saliya Kumara Kirigeeganage
Modeling And Simulation Methodologies For Spinal Cord Stimulation., Saliya Kumara Kirigeeganage
Electronic Theses and Dissertations
The use of neural prostheses to improve health of paraplegics has been a prime interest of neuroscientists over the last few decades. Scientists have performed experiments with spinal cord stimulation (SCS) to enable voluntary motor function of paralyzed patients. However, the experimentation on the human spinal cord is not a trivial task. Therefore, modeling and simulation techniques play a significant role in understanding the underlying concepts and mechanics of the spinal cord stimulation. In this work, simulation and modeling techniques related to spinal cord stimulation were investigated. The initial work was intended to visualize the electric field distribution patterns in …