Sökning: "formal control"

Visar resultat 1 - 5 av 290 avhandlingar innehållade orden formal control.

  1. 1. Management control and strategy : a case study of pharmaceutical drug development

    Författare :Fredrika Berglund; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Management control systems; Tight control; Loose control; Interactive control; Diagnostic control; Budget; Portfolio management; Project management; Goals and Objectives systems; Business strategy; Research Development; Pharmaceutical; Computer science; Datavetenskap; Economic Information Systems; Ekonomiska informationssystem;

    Sammanfattning : How are formal management controls designed and used in research & development (R&D)? The purpose of this study is to explain how such systems are designed and used in formulating and implementing strategies in a pharmaceutical product development organisation. The study uses a contingency approach to investigate how the control system is adjusted to the business strategy of the firm. LÄS MER

  3. 2. Frihet under kontroll : Om kontroll i åkerinäringen

    Författare :Lotta Pettersson; Henrik Tham; Anne Alvesalo; Stockholms universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Road haulage industry; trucking; formal control; neutralizations; masculinities; occupational crime; criminality; Criminology; Kriminologi;

    Sammanfattning : This dissertation, based on two studies, examines the significance of formal control, i.e. the actors and agencies whose formal task involves the use of a range of measures to exercise control within the road haulage industry. LÄS MER

  4. 3. Formal Methods and Safety for Automated Vehicles: Modeling, Abstractions, and Synthesis of Tactical Planners

    Författare :Jonas Krook; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automated vehicles; Formal methods; formal synthesis; tactical planning; supervisory control theory; automatic abstraction.; safety case; model checking; formal verification; reactive synthesis;

    Sammanfattning : One goal of developing automated road vehicles is to completely free people from driving tasks. Automated vehicles with no human driver must handle all traffic situations that human drivers are expected to handle, possibly more. LÄS MER

  5. 4. Safety Proofs for Automated Driving using Formal Methods

    Författare :Yuvaraj Selvaraj; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; safety argument; automata learning; supervisory control theory; Automated driving; theorem proving; formal methods; formal verification; model checking;

    Sammanfattning : The introduction of driving automation in road vehicles can potentially reduce road traffic crashes and significantly improve road safety. Automation in road vehicles also brings other benefits such as the possibility to provide independent mobility for people who cannot and/or should not drive. LÄS MER

  7. 5. Planning and Control of Uncertain Cooperative Mobile Manipulator-Endowed Systems under Temporal Logic Tasks

    Författare :Christos Verginis; Dimos Dimarogonas; Magnus Egerstedt; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; multi-agent systems; cooperative manipulation; formation control; temporal logic; motion planning; adaptive control; funnel control; navigation; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : Control and planning of multi-agent systems is an active and increasingly studied topic of research, with many practical applications such as rescue missions, security, surveillance, and transportation. This thesis addresses the planning and control of multi-agent systems under temporal logic tasks. LÄS MER