Sökning: "formal control systems"
Visar resultat 1 - 5 av 139 avhandlingar innehållade orden formal control systems.
1. Formal Methods and Safety for Automated Vehicles: Modeling, Abstractions, and Synthesis of Tactical Planners
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
2. On Provably Correct Decision-Making for Automated Driving
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. Management control and strategy : a case study of pharmaceutical drug development
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
4. Safety Proofs for Automated Driving using Formal Methods
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
5. Engineering Software for Resilient Cyber-Physical Systems
Sammanfattning : Designing, implementing, and verifying resilient cyber-physical systems is challenging. Resilience is the ability to provide the required capability when facing adversity. LÄS MER