Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 7 of 7 for “"software controller"”.
-
Verification of Digital Controller Verifications
… property of a closed-loop control system with a software controller implementation. The usual approach to verifying stability for software uses experiments which are costly and can be dangerous. More recently, mathematical models of software have been proposed which can be used to reason about …
-
Fast scanning two-photon microscopy
… deflectors was designed and implemented. The software controller was expanded so that random access scan in three dimensions could be handled, so that algorithms that can identify neurons from images acquired using the two-photon microscope can be developed. Finally the localization of …
-
Towards Computational Design of Shape and Control for Rigid Robots
… configurations of its hardware shape and/or software controller. The underlying coupling of the hardware shape and the software control of a robot results in an enormous parameter space involving both discrete parameters (i.e., topology structure of the robot) and continuous parameters (i.e., …
-
Energy Adaptive Infrastructure for Sustainable Cloud Data Centres
… also propose the concept of an energy adaptive software controller (EASC), able to augment the usage of renewable energies in data centres. The EASC supports two kind of applications: service-oriented and task-oriented applications; and two kind of computing environments: Infrastructure as a …
-
Development of real-time process control systems using formal techniques
… systems, there is still a lack of standardised software development formalisms for the system (controller) development, particular at early stage of the system design cycle. This research forms part of a larger research programme which is concerned with the development of real-time …
-
Intelligent network selection and energy reduction for mobile devices
… life. In this dissertation, we present Delphi, a software controller for network selection on mobile devices. Delphi makes intelligent network selection decisions according to current network conditions and monetary cost concerns, as well as battery-life considerations. Our experiments show that …
-
Flexible machine tool control for direct, in-process dimensional part inspection
… on motion instructions from task planning software. The research in direct machining and control (DMAC) at BYU has identified a potential application of CMM technologies on existing machine tools. To prove that a machine tool can be controlled as a CMM with the DMAC controller, this …