Sökning: "deployment control"

Visar resultat 11 - 15 av 140 avhandlingar innehållade orden deployment control.

  1. 11. On Provably Correct Decision-Making for Automated Driving

    Författare :Yuvaraj Selvaraj; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; deductive verification; formal methods; supervisory control theory; formal verification; Automated driving; model checking; hybrid systems.; decision-making;

    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 several other benefits such as the possibility to provide independent mobility for people who cannot and/or should not drive. LÄS MER

  3. 12. 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

  4. 13. Value-adding deployment of corporate lean programs in multinational production companies

    Författare :Sara Linderson; Monica Bellgran; Seyoum Eshetu Birkie; Lars Bengtsson; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Lean production; Deployment; Program management; Company-specific production systems; XPS; Knowledge transfer; Strategy implementation; Lean produktion; Utrullning; Programledning; Kunskapsöverföring; XPS; Företagsspecifika produktionssystem; Strategiimplementering; Industriell ekonomi och organisation; Industrial Economics and Management;

    Sammanfattning : Strategic improvement programs, which aim for corporate-wide lean transformation, are resource-demanding and challenging to deploy. Industrial manufacturers often develop company-specific production system (XPS) programs to coordinate the lean transformation simultaneously in multiple production sites. LÄS MER

  5. 14. Cost-effective Communication and Control Architectures for Active Low Voltage Grids

    Författare :Mikel Armendáriz; Lars Nordström; Sami Repo; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Active low voltage distribution grids; CAPEX OPEX; communication control architectures; cost-effectiveness; MPC; multiagent systems; photovoltaics; voltage control.; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : The monitoring and control of low voltage distribution grids has historically been disregarded due to the unidirectional flow of power. However, nowadays the massive integration of distributed energy resources into distribution grids, such as solar photovoltaics, distributed storage, electric vehicles and demand response programs, presents some challenges. LÄS MER

  7. 15. Dependable Distributed Control System : Redundancy and Concurrency defects

    Författare :Bjarne Johansson; Thomas Nolte; Alessandro Papadopoulos; Luis Almeida; Mälardalens universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Sammanfattning : Intelligent devices, interconnectivity, and information exchange are characteristics often associated with Industry 4.0. A peer-to-peer-oriented architecture with the network as the system center succeeds the traditional controller-centric topology used in today's distributed control systems, improving information exchange in future designs. LÄS MER