Relevant bibliographies by topics / Critical control / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Critical control.

Dissertations / Theses on the topic 'Critical control'

Author: Grafiati
Published: 23 August 2023
Last updated: 26 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Critical control.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Misner, Scottie, and Carol Curtis. "HACCP - Hazard Analysis Critical Control Points." College of Agriculture and Life Sciences, University of Arizona (Tucson, AZ), 2008. http://hdl.handle.net/10150/146434.

Full text
Abstract:
1p.<br>HACCP, pronounced has-up, is a food safety self-inspection system that combines up-to-date technical information with step-by-step procedures to evaluate and monitor the flow of food throughout a food establishment from receiving to service. This publication introduces this system to readers and outlines 6 simple HACCP principles to reduce the occurrence of food-borne illness at home.
APA, Harvard, Vancouver, ISO, and other styles
2

Åkerberg, Johan. "On Security in Safety-Critical Process Control." Licentiate thesis, Mälardalen University, School of Innovation, Design and Engineering, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-7334.

Full text
Abstract:
<p>This Licentiate thesis is about security in automation networks with emphasis on fieldbus communication. In the process industry, network and system security have become even more important since the introduction of Ethernet-based fieldbus protocols. As an example, a successful attack on a power plant, supporting large cities with energy, could result in a temporal but total power loss. Such attacks could be devastating for the society. The security threats are real, and motivations for attacking industrial communication systems may be political or economical.</p><p>The visions of autonomou
APA, Harvard, Vancouver, ISO, and other styles
3

Ifill, Wilson. "B annotations in critical control systems development." Thesis, University of Surrey, 2008. http://epubs.surrey.ac.uk/842966/.

Full text
Abstract:
The design and implementation of critical controllers benefit from development in a formal method such as B. However, B does not support execution specification directly, which is a requirement in controller design. The aim here is to develop a set of annotations so that they can be used by a B design engineer to capture execution requirements, while creating the B model. The annotations, once shown to be machine-annotation consistent with the B machine, can be used independently from the machine to assess the correctness of CSP controllers developed to detail the control behaviour. CSP-B is a
APA, Harvard, Vancouver, ISO, and other styles
4

Binnie, Iona B. "Critical dimension control : influencing factors and measurement." Thesis, University of Edinburgh, 1991. http://hdl.handle.net/1842/10815.

Full text
Abstract:
Advanced Lithography continues to be the limiting factor in the drive for higher levels of microcircuit integration. The key to the successful management of a lithography process is the integration of full measurement and instrumentation functions with the process, and the adoption of effective process control strategies. The aim of this research is to improve the understanding of critical dimension (CD) control by an investigation of the sources of variations in linewidth dimensions. Having identified the key factors, it should be possible to characterize and control their influence. Experime
APA, Harvard, Vancouver, ISO, and other styles
5

Åkerberg, Johan. "On security in safety-critical process control /." Västerås : School of Innovation, Design and Engineering, Mälardalen University, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-7334.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Venugopalan, Vigneshwaran. "Supervisory wireless control for critical industrial applications." Thesis, University of Sheffield, 2014. http://etheses.whiterose.ac.uk/8501/.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Dawson, Robert Edward. "Secure communications for critical infrastructure control systems." Thesis, Queensland University of Technology, 2008. https://eprints.qut.edu.au/20710/1/Robert_Dawson_Thesis.pdf.

Full text
Abstract:
In March 2000, 1 million litres of raw sewage was released into the water system of Maroochy Shire on Queensland’s sunshine coast. This environmental disaster was caused by a disgruntled ex-contractor using a radio transmitter to illicitly access the electronically controlled pumps in the control system. In 2007 CNN screened video footage of an experimental attack against a electrical generator. The attack caused the generator to shake and smoke, visually showing the damage caused by cyber attack. These attacks highlight the importance of securing the control systems which our critical infrast
APA, Harvard, Vancouver, ISO, and other styles
8

Dawson, Robert Edward. "Secure communications for critical infrastructure control systems." Queensland University of Technology, 2008. http://eprints.qut.edu.au/20710/.

Full text
Abstract:
In March 2000, 1 million litres of raw sewage was released into the water system of Maroochy Shire on Queensland’s sunshine coast. This environmental disaster was caused by a disgruntled ex-contractor using a radio transmitter to illicitly access the electronically controlled pumps in the control system. In 2007 CNN screened video footage of an experimental attack against a electrical generator. The attack caused the generator to shake and smoke, visually showing the damage caused by cyber attack. These attacks highlight the importance of securing the control systems which our critical infrast
APA, Harvard, Vancouver, ISO, and other styles
9

Schwager, Mac. "Towards verifiable adaptive control for safety critical applications." Thesis, Massachusetts Institute of Technology, 2005. http://hdl.handle.net/1721.1/32344.

Full text
Abstract:
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 2005.<br>Includes bibliographical references (p. 97-101).<br>To be implementable in safety critical applications, adaptive controllers must be shown to behave strictly according to predetermined specifications. This thesis presents two tools for verifying specifications relevant to practical direct-adaptive control systems. The first tool is derived from an asymptotic analysis of the error dynamics of a direct adaptive controller and uncertain linear plant. The analysis yields a so called Reduced Linear Asym
APA, Harvard, Vancouver, ISO, and other styles
10

Lundahl, Kristoffer. "Modeling and Optimization for Critical Vehicle Maneuvers." Licentiate thesis, Linköpings universitet, Fordonssystem, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-94010.

Full text
Abstract:
As development in sensor technology, situation awareness systems, and computational hardware for vehicle systems progress, an opportunity for more advanced and sophisticated vehicle safety-systems arises. With the increased level of available information---such as position on the road, road curvature and knowledge about surrounding obstacles---future systems could be seen utilizing more advanced controls, exploiting at-the-limit behavior of the vehicle. Having this in mind, optimization methods have emerged as a powerful tool for offline vehicle-performance evaluation, providing inspiration to
APA, Harvard, Vancouver, ISO, and other styles
11

Mathew, Bijoy. "Implementing a hazard analysis critical control points plan (HACCP)." Menomonie, WI : University of Wisconsin--Stout, 2007. http://www.uwstout.edu/lib/thesis/2007/2007mathewb.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

Cao, Fang. "Control of doctors in the NHS : a critical appraisal." Thesis, University of Liverpool, 2010. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.539473.

Full text
APA, Harvard, Vancouver, ISO, and other styles
13

Doran, Carmen. "Modelling and control of hyperglycemia in critical care patients." Thesis, University of Canterbury. Mechanical Engineering, 2004. http://hdl.handle.net/10092/6478.

Full text
Abstract:
Critically ill patients are known to experience stress-induced hyperglycemia. Inhibiting the physiological response to increased glycemic levels in these patients are factors such as increased insulin resistance, increased dextrose input, absolute or relative insulin deficiency, and drug therapy. Although hyperglycemia can be a marker for severity of illness, it can also worsen outcomes, leading to an increased risk of further complications. Hyperglycemia has been quantified in critically ill patients showing the need for glucose control. The development of a relatively simple system model an
APA, Harvard, Vancouver, ISO, and other styles
14

Selleck, Roberta J. "A critical control approach to preventing fatalities in construction." Thesis, Edith Cowan University, Research Online, Perth, Western Australia, 2023. https://ro.ecu.edu.au/theses/2675.

Full text
Abstract:
Workplace fatalities continue to occur within the Australian construction industry at an unacceptably high rate. Most fatalities can be attributed to worker exposure to fatal energies while conducting high risk tasks in a dynamic work environment. Construction fatalities are usually single fatality events related to occupational safety hazards which are either not recognised by workers or not consistently controlled through existing safety practices. By comparison other resources industries have lower fatality rates because of their focus on identifying the controls and verification activities
APA, Harvard, Vancouver, ISO, and other styles
15

Haylock, James Alexander. "Fault tolerant drives for safety critical applications." Thesis, University of Newcastle Upon Tyne, 1998. http://hdl.handle.net/10443/352.

Full text
Abstract:
The correct operation of adjustable speed drives, which form part of a larger system, is often essential to the operation of the system as a whole. In certain applications the failure of such a drive could result in a threat to human safety and these applications are termed 'safety critical'. The chance of a component failure resulting in non-operation of the drive can be dramatically reduced by adopting a fault tolerant design. A fault tolerant drive must continue to operate throughout the occurrence of any single point failure without undue disturbance to the power output. Thereafter the dri
APA, Harvard, Vancouver, ISO, and other styles
16

Wu, Guofan. "Safety-critical Geometric Control Design with Application to Aerial Transportation." Research Showcase @ CMU, 2017. http://repository.cmu.edu/dissertations/1108.

Full text
Abstract:
Safety constraints are ubiquitous in many robotic applications. For instance, aerial robots such as quadrotors or hexcoptors need to realize fast collision-free flight, and bipedal robots have to choose their discrete footholds properly to gain the desired friction and pressure contact forces. In this thesis, we address the safety critical control problem for fully-actuated and under-actuated mechanical systems. Since many mechanical systems evolve on nonlinear manifolds, we extend the concept of Control Barrier Function to a new concept called geometric Control Barrier Function which is speci
APA, Harvard, Vancouver, ISO, and other styles
17

Nicholson, Mark. "Selecting a topology for safety-critical real-time control systems." Thesis, University of York, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.263664.

Full text
APA, Harvard, Vancouver, ISO, and other styles
18

Karlsson, Christoffer. "Control of critical data flows : Automated monitoring of insurance data." Thesis, KTH, Skolan för elektro- och systemteknik (EES), 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-187733.

Full text
Abstract:
EU insurance companies work on implementing the Solvency II directive, which calls for stronger focus on data quality and information controls. Information controls are procedures that can validate data at rest and data in motion to detect errors and anomalies. In this master thesis a case study was carried out at AMF, a Swedish pension insurance company, to identify and investigate their critical data flows and the controls performed in the respective flows. A purpose of this project is to help AMF ensure data quality requirements from the Financial Supervisory Authority that they have to ful
APA, Harvard, Vancouver, ISO, and other styles
19

Shuja, Sana. "Formal Verification Techniques for Safety Critical Medical Device Software Control." Diss., North Dakota State University, 2016. http://hdl.handle.net/10365/25736.

Full text
Abstract:
Safety-critical medical devices play an important role in improving patients health and lifestyle. Faulty behaviors of such devices can cause harm or even death. Often these faulty behaviors are caused due to bugs in software programs used for digital control of the device. We present a formal veri cation methodology that can be used to check the correctness of object code programs that implement the safety-critical control functions of these medical devices. Our methodology is based on the theory of Well-Founded Equivalence Bisimulation (WEB) re nement, where both formal speci cations and imp
APA, Harvard, Vancouver, ISO, and other styles
20

Chakravarthy, Rasika Mudumbai. "Long-lived authentication protocols for critical infrastructure process control systems." Pullman, Wash. : Washington State University, 2009. http://www.dissertations.wsu.edu/Thesis/Spring2009/r_mudumbai_chakravarthy_041509.pdf.

Full text
Abstract:
Thesis (M.S. in computer science )--Washington State University, May 2009.<br>Title from PDF title page (viewed on March 29, 2010). "School of Electrical Engineering and Computer Science." Includes bibliographical references (p. 112-115).
APA, Harvard, Vancouver, ISO, and other styles
21

Blakemore, Amy. "Insulin sensitivity tools for critical care." Thesis, University of Canterbury. Mechanical Engineering, 2009. http://hdl.handle.net/10092/2606.

Full text
Abstract:
Stress induced hyperglycaemia is prevalent in critical care. Since the landmark paper published by Van den Berghe et al. (2001) a great deal of attention has been paid to intensive insulin therapy in an ICU setting to combat the adverse effects of elevated glucose levels and poor glycaemic control. Glycaemic control protocols have been extensively developed, tested and validated within an ICU setting. However, little research has been conducted on the effects of a glycaemic control protocol in a less acute ward setting. There are many additional challenges presented in a ward setting, such as
APA, Harvard, Vancouver, ISO, and other styles
22

Sebusang, Sebusang E. M. "Minimal control synthesis algorithm : safety-critical and a priori design issues." Thesis, University of Bristol, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.389031.

Full text
APA, Harvard, Vancouver, ISO, and other styles
23

Oh, Sang-soo. "STUDY ON MICROSTRUCTURE CONTROL AND CRITICAL CURRENT DENSITY OF SUPERCONDUCTING MATERIALS." Kyoto University, 1992. http://hdl.handle.net/2433/168753.

Full text
Abstract:
本文データは平成22年度国立国会図書館の学位論文(博士)のデジタル化実施により作成された画像ファイルを基にpdf変換したものである<br>Kyoto University (京都大学)<br>0048<br>新制・課程博士<br>博士(工学)<br>甲第5100号<br>工博第1221号<br>新制||工||866(附属図書館)<br>UT51-92-J147<br>京都大学大学院工学研究科冶金学専攻<br>(主査)教授 長村 光造, 教授 志賀 正幸, 教授 山口 正治<br>学位規則第4条第1項該当
APA, Harvard, Vancouver, ISO, and other styles
24

Wagude, Bethsheba Emily Akinyi. "Hazard analysis critical control point (HACCP) in a red meat abattoir." Diss., University of Pretoria, 1999. http://hdl.handle.net/2263/28615.

Full text
APA, Harvard, Vancouver, ISO, and other styles
25

Coxford, Sheilah. "A critical analysis of firearm control in post-apartheid South Africa." Master's thesis, University of Cape Town, 2001. http://hdl.handle.net/11427/3793.

Full text
Abstract:
Summary in English.<br>Bibliography: leaves 87-92.<br>This dissertation evaluates the hypothesis that the implementation of stringent firearm control in South Africa will significantly decrease levels of violent crime. First, the specific dynamics of violent crime in this country are examined, in order to establish whether firearm control constitutes a fitting response to the problem. Second, some of the important theoretical underpinnings of the firearms control debate are considered.
APA, Harvard, Vancouver, ISO, and other styles
26

Abdelaty, Maged Fathy Youssef. "Robust Anomaly Detection in Critical Infrastructure." Doctoral thesis, Università degli studi di Trento, 2022. http://hdl.handle.net/11572/352463.

Full text
Abstract:
Critical Infrastructures (CIs) such as water treatment plants, power grids and telecommunication networks are critical to the daily activities and well-being of our society. Disruption of such CIs would have catastrophic consequences for public safety and the national economy. Hence, these infrastructures have become major targets in the upsurge of cyberattacks. Defending against such attacks often depends on an arsenal of cyber-defence tools, including Machine Learning (ML)-based Anomaly Detection Systems (ADSs). These detection systems use ML models to learn the profile of the normal behavio
APA, Harvard, Vancouver, ISO, and other styles
27

Yachouh, Marwan. "Re-authentication of Critical Operations." Thesis, Linköping University, Department of Electrical Engineering, 2002. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-1174.

Full text
Abstract:
<p>This is a study on the development of a re-authentication prototype. Re- authentication serves as a receipt for e.g. system administrators that authorise them to carry out a critical operation in a system that already is protected by a security architecture. A critical operation is a kind of operation that can cause serious damage to a network node or a set of network nodes, if it is done without one giving it a second thought. The purpose is to prevent mistakes and secure the users’ audit trail. </p><p>The main task is to propose and implement a re-authentication prototype, that is to enab
APA, Harvard, Vancouver, ISO, and other styles
28

Cooper, Trudi. "Quality management in Australian higher education : A critical review." Thesis, Edith Cowan University, Research Online, Perth, Western Australia, 2004. https://ro.ecu.edu.au/theses/842.

Full text
Abstract:
Quality management in higher education is a politically contentious issue in Australia. as it is in North America, New Zealand, and many European countries. The Australian government has instituted a quality management system for higher education that it claims will improve university efficiency, accountability and quality. Critics assert that the current quality management system is detrimental to universities and undermines the capability of universities to deliver maximal benefits to individuals and to society. Evaluation of the basis of conflicting claims is necessary to enable decisions a
APA, Harvard, Vancouver, ISO, and other styles
29

Broomfield, Eamon J. "The integration of hazard evaluation procedures and requirements engineering for safety-critical embedded systems." Thesis, Loughborough University, 1997. https://dspace.lboro.ac.uk/2134/32816.

Full text
Abstract:
Although much work has been done on assessing safety requirements in programmable systems, one very important aspect, the integration of hazard evaluation procedures and requirements engineering, has been somewhat neglected. This thesis describes the derivation and application of a methodology, HAZAPS (HAZard Assessment in Programmable Systems). The methodology assists at the requirements stage in the development of safety-critical embedded systems. The objectives are to identify hazards in programmable systems, construct and model the associated safety requirements, and, finally, to assess th
APA, Harvard, Vancouver, ISO, and other styles
30

Gaadingwe, Tshepo Gaadingwe. "A critical review of the IFIP TC11 Security Conference Series." Thesis, Nelson Mandela Metropolitan University, 2007. http://hdl.handle.net/10948/507.

Full text
Abstract:
Over the past few decades the field of computing has grown and evolved. In this time, information security research has experienced the same type of growth. The increase in importance and interest in information security research is reflected by the sheer number of research efforts being produced by different type of organizations around the world. One such organization is the International Federation for Information Processing (IFIP), more specifically the IFIP Technical Committee 11 (IFIP TC11). The IFIP TC11 community has had a rich history in producing high quality information security spe
APA, Harvard, Vancouver, ISO, and other styles
31

Gharat, Asmita. "Bluetooth based dynamic critical route volume estimation on signalized arterials." Thesis, Virginia Tech, 2011. http://hdl.handle.net/10919/76871.

Full text
Abstract:
Bluetooth Data collection technique is recently proven as a reliable data collection technique that provides the opportunity to modify traditional methodologies to improve system performance. Actual volume in the network is a result of the timing plans which are designed and modified based on the volume which is generated using existing timing plans in the system. This interdependency between timing plan and volume on the network is a dynamic process and should be captured to obtain actual traffic states in the network. The current practice is to calculate synthetic origin destination informat
APA, Harvard, Vancouver, ISO, and other styles
32

Green, Melinda E. Voigt Robert C. "Critical assessment of current metalcasting green sand system control and monitoring processes." [University Park, Pa.] : Pennsylvania State University, 2009. http://etda.libraries.psu.edu/theses/approved/WorldWideIndex/ETD-4793/index.html.

Full text
APA, Harvard, Vancouver, ISO, and other styles
33

Lemmer, Hermann Richard. "The tuberculosis control programme in the industry in Swaziland : a critical evaluation." Diss., Access to E-Thesis, 2002. http://upetd.up.ac.za/thesis/available/etd-10032005-092729/.

Full text
APA, Harvard, Vancouver, ISO, and other styles
34

Ashraf, Muhammad Junaid. "Management control changes in a public sector firm : A critical realist analysis." Thesis, University of Essex, 2011. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.531563.

Full text
APA, Harvard, Vancouver, ISO, and other styles
35

Otto, Gustav. "Critical comparison of control techniques for a flight dynamics controller / Gustav Otto." Thesis, North-West University, 2011. http://hdl.handle.net/10394/8068.

Full text
Abstract:
This dissertation covers the process of modelling and subsequently developing a flight dynamics controller for a quad–rotor unmanned aerial vehicle. It is a theoretical study that focusses on the selection of a controller type by first analysing the problem on a system level and then on a technical level. The craft is modelled using the Newton– Euler model, accounting for multiple reference frames to account for the interpretation of orientation as seen by on–board sensors. The quad–rotor model and selected controllers are characterized and compared. The model is verified through simulation by
APA, Harvard, Vancouver, ISO, and other styles
36

Blow, James Raymond. "Use of formal methods in the development of safety critical control software." Thesis, University of York, 2002. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.288811.

Full text
Abstract:
Firstly, we extend the Generalised Substitution Language, and therefore the principles of weakest precondition calculus, to embrace differential constraints. Our approach is based on generalising the traditional view that a Generalised Substitution specifies a fragment of a sequential programme. We consider a Generalised Substitution to represent an autonomous transformation which is 'clocked' repeatedly to perform its computation at regular intervals. In the case of such components composed synchronously, we can generalise the notion of weakest precondition to traces (sequences of values) of
APA, Harvard, Vancouver, ISO, and other styles
37

Diao, El Hadji Sidath. "Fault Tolerant Control for Critical machine-inverter systems used in automotive industry." Thesis, Paris 11, 2014. http://www.theses.fr/2014PA112311/document.

Full text
Abstract:
La disponibilité de certains capteurs est indispensable pour le contrôle des machines électriques dans une application automobile. Cette thèse constitue une contribution à l'étude d'une commande tolérante aux défauts pour un entraînement électrique dans le cadre du projet SOFRACI. Pour pallier une défaillance de ces capteurs, des stratégies sont mises en place pour assurer une continuité de fonctionnement ou un arrêt sûr. Dans le cas de la machine synchrone, les capteurs les plus critiques sont: le capteur de position, les capteurs de courant et le capteur de bus de tension continue. C'est dan
APA, Harvard, Vancouver, ISO, and other styles
38

Smedley, Peter John. "Development of computer based aids to hazard analysis critical control point (HACCP)." Thesis, London South Bank University, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.245126.

Full text
Abstract:
The Razard Analysis Critical Control Point (RACCP) system has been in existence as a method of quality assurance for over 30 years. During this time it has evolved considerably, along with the food industry in which it is applied. Rowever, only in the last few years has the system achieved widespread acceptance as one of the most effective methods of controlling foodborne hazards and its principles come to be included in national legislation. Whilst the greater implementation of RACCP has the recognised potential to bring great gains in terms of food safety assurance, the technical nature of i
APA, Harvard, Vancouver, ISO, and other styles
39

Reedman, Adam Victor Creyke. "The design and control of a manipulator for safety-critical deployment applications." Thesis, Loughborough University, 2002. https://dspace.lboro.ac.uk/2134/33736.

Full text
Abstract:
Development of manipulators that interact closely with humans has been a focus of research in fields such as robot-assisted surgery The recent introduction of powered surgical-assistant devices into the operating theatre has meant that modified industrial robot manipulators have been required to interact with both patient and surgeon Some of these robots require the surgeon to grasp the end-effector and apply a force while the joint actuators provide resistance to motion In the operating theatre, the use of high-powered mechanisms to perform these tasks could compromise the safety of the patie
APA, Harvard, Vancouver, ISO, and other styles
40

Просвірін, Дмитро Андрійович. "DEVELOPING AND DEPLOYING HMIS ON CRITICAL EMBEDDED GRAPHICS PLATFORMS FOR AFCS CONTROL." Thesis, Національний авіаційний університет, 2015. http://er.nau.edu.ua/handle/NAU/17207.

Full text
Abstract:
Critical embedded Human Machine Interfaces (HMI) play an important role within the aerospace and defense. Developing HMIs efficiently while adhering to specific safety standards like DO-178B/C is a challenging task.
APA, Harvard, Vancouver, ISO, and other styles
41

Усенко, А. А. "Порядок впровадження системи hazard analysis and critical control points (HACCP) в Україні". Thesis, Молодіжний науковий юридичний форум: [Матеріали міжн. наук.-практ. конф. До дня науки, м. Киїів, НАУ, 18 травня 2018р.] Том 1.- Тернопіль: Вектор, 2018. С. 149-151, 2018. http://er.nau.edu.ua/handle/NAU/34742.

Full text
APA, Harvard, Vancouver, ISO, and other styles
42

Rezvani, Arany Roushan. "Gaussian Process Model Predictive Control for Autonomous Driving in Safety-Critical Scenarios." Thesis, Linköpings universitet, Reglerteknik, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-161430.

Full text
Abstract:
This thesis is concerned with model predictive control (MPC) within the field of autonomous driving. MPC requires a model of the system to be controlled. Since a vehicle is expected to handle a wide range of driving conditions, it is crucial that the model of the vehicle dynamics is able to account for this. Differences in road grip caused by snowy, icy or muddy roads change the driving dynamics and relying on a single model, based on ideal conditions, could possibly lead to dangerous behaviour. This work investigates the use of Gaussian processes for learning a model that can account for vary
APA, Harvard, Vancouver, ISO, and other styles
43

Rahman, Anisur. "Rare sequential pattern mining of critical infrastructure control logs for anomaly detection." Thesis, Queensland University of Technology, 2019. https://eprints.qut.edu.au/132077/1/__qut.edu.au_Documents_StaffHome_staffgroupW%24_wu75_Documents_ePrints_Anisur_Rahman_Thesis_Redacted.pdf.

Full text
Abstract:
Supervisory Control and Data Acquisition (SCADA) systems are used to drive much of a nation's critical infrastructure, which by definition is essential for the nation's citizens' way of life. They are connected to the computer networks and internet systems to operate, control and monitor their operations. This connectivity enables these SCADA systems to be exposed to cyber-attacks. This thesis detects anomalies or cyber-attacks on SCADA systems. It analyses SCADA control logs to find abnormal process activities which are treated as anomalies. A novel rare sequential pattern mining approach is
APA, Harvard, Vancouver, ISO, and other styles
44

Abdul, Razak Normy Norfiza. "Robust Modelling of the Glucose-Insulin System for Tight Glycaemic Control of Less Critical Care Patients." Thesis, University of Canterbury. Department of Mechanical Engineering, 2012. http://hdl.handle.net/10092/7039.

Full text
Abstract:
In the intensive care units, hyperglycaemia among the critically ill is associated with poor outcomes. Many studies have been done on managing hyperglycaemia in the critically ill. Patients in the ICU continue to benefit from the outcome of extensive studies including several randomized clinical trials on glycaemic control with intensive insulin therapy. Tight glycaemic control has now emerged as a major research focus in critical care due to its potential to simultaneously reduce both mortality and cost. Although the debate on tight glycaemic control is on going, managing glycaemic level in I
APA, Harvard, Vancouver, ISO, and other styles
45

Underwood, B. Alan. "A framework for the certification of critical application systems." Thesis, Queensland University of Technology, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
46

Wang, Timothy. "Credible autocoding of control software." Diss., Georgia Institute of Technology, 2015. http://hdl.handle.net/1853/53954.

Full text
Abstract:
Formal methods is a discipline of using a collection of mathematical techniques and formalisms to model and analyze software systems. Motivated by the new formal methods-based certification recommendations for safety-critical embedded software and the significant increase in the cost of verification and validation (V\&V), this research is about creating a software development process for control systems that can provide mathematical guarantees of high-level functional properties on the code. The process, dubbed credible autocoding, leverages control theory in the automatic generation of cont
APA, Harvard, Vancouver, ISO, and other styles
47

CAIROLI, FRANCESCA. "Deep Learning for Abstraction, Control and Monitoring of Complex Cyber-Physical Systems." Doctoral thesis, Università degli Studi di Trieste, 2022. http://hdl.handle.net/11368/3031103.

Full text
Abstract:
Cyber-Physical Systems (CPS) consist of digital devices that interact with some physical components. Their popularity and complexity are growing exponentially, giving birth to new, previously unexplored, safety-critical application domains. As CPS permeate our daily lives, it becomes imperative to reason about their reliability. Formal methods provide rigorous techniques for verification, control and synthesis of safe and reliable CPS. However, these methods do not scale with the complexity of the system, thus their applicability to real-world problems is limited. A promising strategy is to le
APA, Harvard, Vancouver, ISO, and other styles
48

Santini, Norman Gabriele Antonio. "Quality Control procedure management for critical drawing parts of a two-seater helicopter." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2019.

Find full text
Abstract:
The goal of this thesis is to study the various mechanical parts of a two-seater helicopter, give an objective method to establish the criticism and the necessity of a Quality Control and/or a Dimensional Control by examining the technical drawings and using some common industrial software.
APA, Harvard, Vancouver, ISO, and other styles
49

Magnini, Matteo. "An information theory analysis of critical Boolean networks as control software for robots." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2021. http://amslaurea.unibo.it/23062/.

Full text
Abstract:
This work is an analysis of critical random Boolean networks used as control software for robots. The main goal is to find if there are relations between information theory measures on robot's sensors and actuators and the capability of the robot to achieve a particular task. Secondary goals are to verify if just the number of nodes of the networks is significant to obtain better populations of controllers for a given task and if a Boolean network can perform well in more than one single task. Results show that for certain tasks there is a strongly positively correlation between some informati
APA, Harvard, Vancouver, ISO, and other styles
50

Martin, Steven George. "The critical period of weed control in canola (Brassica napus L.) in Manitoba." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape2/PQDD_0024/MQ51762.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Critical control' for other source types:
Journal articles Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography