Sökning: "SAFE model"

Visar resultat 1 - 5 av 433 avhandlingar innehållade orden SAFE model.

  1. 1. Safe Autonomy under Uncertainty: Computation, Control, and Application

    Författare :Yulong Gao; Karl H. Johansson; Lihua Xie; ‪Frank Allgöwer; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Safe autonomy; shared autonomy; probabilistic controlled invariant set; invariant cover; linear temporal logic; temporal logic tree; safe teleoperation; automated car overtaking; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : Safety is a primary requirement for many autonomous systems, such as automated vehicles and mobile robots. An open problem is how to assure safety, in the sense of avoiding unsafe subsets of the state space, for uncertain systems under complex tasks. LÄS MER

  3. 2. !secure(system) <=?=> !safe(system) : On Security and Safety of Industrial Software Systems

    Författare :Marcus Lindner; Per Lindgren; Valeriy Vyatkin; Knut Åkesson; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems; hard real-time; concurrency; model of computation; safety-critical; safety; security; industrial automation; RTFM; real-time for the masses; Embedded Systems; Inbyggda system;

    Sammanfattning : The focus of our research work is on readily accessible, embedded, real-time development with concurrency support. To this end, we develop the Real-Time For the Masses (RTFM) programming framework with a model of computation based on tasks and resources and that stipulates a timing semantics. LÄS MER

  4. 3. Validation of a Standard- and Metric-Based Software Quality Model : Creating the Prerequisites for Experimentation

    Författare :Rüdiger Lincke; Växjö universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Software Quality; Metrics; Quality Model; Meta-model; ISO 9126; Computer science; Datalogi; Computer and Information Sciences Computer Science; Data- och informationsvetenskap;

    Sammanfattning : Our long term research goal is to validate a standard- and metric-based software quality model. Today, ambiguous metric definitions lead to incomparable implementation variants in tools. LÄS MER

  5. 4. Look-ahead control for fuel-efficient and safe heavy-duty vehicle platooning

    Författare :Valerio Turri; Karl H. Johansson; Petros Ioannou; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; platoon; platooning; optimization; optimal control; model predictive control; automatic control; fuel efficiency; intelligent transport systems; automated driving; cooperative; dynamic programming; trucks; heavy-duty vehicles; safe platooning; fuel-efficient platooning; distributed model predictive control; MPC; vehicle-following; pulse and glide; Vehicle and Maritime Engineering; Farkostteknik;

    Sammanfattning : The operation of heavy-duty vehicles at small inter-vehicular distances, known as platoons, lowers the aerodynamic drag and, therefore, reduces fuel consumption and greenhouse gas emissions. Tests conducted on flat roads have shown the potential of platooning to reduce the fuel consumption of about 10%. LÄS MER

  7. 5. Towards Safe Autonomous Driving

    Författare :Arian Ranjbar; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; effectiveness; Autonomous driving; neural networks; verification; predictive evaluation; monitoring; safety benefit;

    Sammanfattning : Autonomous driving is expected to bring several benefits, in particular regarding safety. This thesis aim to contribute towards two questions concerning safety: "What is the potential safety benefit of autonomous driving?'' and "How can we ensure safe operation of such vehicles?''. LÄS MER