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 9 of 9 for “"Formal control"”.
-
Intelligent systems for efficiency and security
… to manage computers with principled methods from formal control. It is with these methods that the multiple subsystems of a computer sense their environment and configure themselves to meet system-wide goals. To achieve the goal of intelligent systems, this dissertation makes a series of …
-
Systematically controlling the error rates in variation-prone networks-on-chip for energy efficiency
… Unfortunately, these proposals use ad-hoc controller designs that may not work under other scenarios and do not provide error bounds. This thesis develops a scheme that dynamically minimizes the Vdd of groups of routers in a variation-prone NoC using formal control-theory methods. The …
-
High-Dimensional Motion Planning and Learning Under Uncertain Conditions
… less computational cost. It also shows that formal control theory methods combined with path planning provides a technique that has a 95% collision-free navigation rate with 300 moving obstacles. Finally, it demonstrates that reinforcement learning can be combined with planning data …
-
Fragile moralities and dangerous sexualities : a case study of 'deviant' women and semi-penal institutionalisation on Merseyside, 1823-1994.
… thesis is primarily concerned with the social control and disciplining of women within a semi-penal institution. As a case study it critically analyses the history of one particular institution from 1823 to 1994, chronicling its development from a nineteenth century female reformatory to a …
-
H to infinity optimal control of a counter-current process
… activated carbon are used in the process and a formal multi variable control study of the adsorption section of the CIP process could provide further economic savings by extracting more gold with controlled amounts of carbon. A study was performed to identify the chemical mechanisms involved in …
-
An Evaluation of Relational Control in International Franchise Networks in Emerging Markets
Controlling international franchise networks in emerging markets presents complex challenges due to cultural and geographical distance between franchise partners. This distance is created by the external factors in the environment of local franchisees, which is characterised by political, economic, …
-
International Joint Venture (IJV) Control Design: A Case Study of an Emerging Market IJV
… venture (IJV) parent firms to use a specific control mechanism in an emerging market (EM). The study adopted a single case study design involving an IJV between a Nigerian firm as the local partner and a Chinese firm as the foreign partner. Data was collected through twenty semi structured …
-
Optimization based nonlinear feedback control for pedestrian evacuation from a network of corridors
… focus of this study is on the development of a formal control methodology for an orderly and jam-free evacuation of pedestrians entrapped in a network of corridors in buildings in such emergency situations. To develop an effective solution, the pedestrian evacuation from a network of corridors …