Sökning: "Safety Constraints"

Visar resultat 1 - 5 av 129 avhandlingar innehållade orden Safety Constraints.

  1. 1. On Cooperative Surveillance, Online Trajectory Planning and Observer Based Control

    Författare :David A. Anisi; Xiaoming Hu; Randal Beard; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Surveillance Missions; Minimum-Time Surveillance; Unmanned Ground Vehicles; Connectivity Constraints; Combinatorial Optimization; Computational Optimal Control; Receding Horizon Control; Mission Uncertainty; Safety; Task Completion; Adaptive Grid Methods; Missile Guidance; Nonlinear Observer Design; Active Observers; Non--uniformly Observable Systems; Mobile Robotic Systems; Intrinsic Observers; Differential Geometric Methods; Euler-Lagrange Systems; Contraction Analysis.; Optimization; systems theory; Optimeringslära; systemteori; Applied mathematics; Tillämpad matematik;

    Sammanfattning : The main body of this thesis consists of six appended papers. In the  first two, different  cooperative surveillance problems are considered. The second two consider different aspects of the trajectory planning problem, while the last two deal with observer design for mobile robotic and Euler-Lagrange systems respectively. LÄS MER

  3. 2. Safety-Aware Autonomous Systems : Preparing Robots for Life in the Real World

    Författare :Mattias Tiger; Fredrik Heintz; Patrick Doherty; Rachid Alami; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Real‐world autonomous systems are expected to be increasingly deployed and operating in real‐world environments over the coming decades. Autonomous systems such as AI‐enabled robotic systems and intelligent transportation systems, will alleviate mundane human work, provide new services, and facilitate a smarter and more flexible infrastructure. LÄS MER

  4. 3. On design of complex safety critical automotive systems : a semi-automated approach for balancing profit and safety

    Författare :Christian Grante; Matthew Cartmell; Linköpings universitet; []
    Nyckelord :TECHNOLOGY; TEKNIKVETENSKAP;

    Sammanfattning : Design processes for complex safety-critical systems in the automotive industry need to evolve in order to address increasing demands for integration of car functions over common networked infrastructures. New processes must address cost and safety concerns, and at the same time maximize profit. LÄS MER

  5. 4. Formal Specification and Verification of Safety-Critical Software

    Författare :Daniel Larsson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; fault injection; fault tolerance; safety-critical; dependability; formal verification; Formal specification;

    Sammanfattning : This thesis is about formal specification and formal verification of software and consists of three different parts. In the first two parts, the formal specification language OCL is treated in two different contexts. The third part describes a technique for analysing the consequences of hardware faults as part of formal software verification. LÄS MER

  7. 5. Synthesis of Safety-Critical Real-Time Systems

    Författare :Yuanbin Zhou; Zebo Peng; Petru Ion Eles; Soheil Samii; Luis Almeida; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Safety-Critical Systems; Real-Time Systems; Time-Sensitive Networking; Mixed-Criticality Systems;

    Sammanfattning : Modern safety-critical real-time systems are becoming more and more complex, due to sophisticated applications such as advanced driving assistance, automated driving, advanced infotainment, and applications involving machine learning and deep learning. This has led to increased requirements for the communication infrastructures. LÄS MER