Sökning: "Jonas Krook"

Hittade 4 avhandlingar innehållade orden Jonas Krook.

  1. 1. Correct-by-Construction Tactical Planners for Automated Cars

    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; Reactive Synthesis; tactical planning; formal verification; formal synthesis; Formal methods; Model Checking; Supervisory Control Theory.; automated cars;

    Sammanfattning : One goal of developing automated cars is to completely free people from driving tasks. Automated cars that require no human driver need to handle all traffic situations that a human driver is expected to handle, and possibly more. LÄS MER

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

  4. 3. Energy transition in transportation : Applying TIMES-based energy system optimisation models to sub-national levels

    Författare :Jonas Forsberg; Anna Krook-Riekkola; Andrea Toffolo; Åsa Lindman; Krister Sandberg; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Energy system analysis; ESOM; Transportation; Climate change; Air quality; Energy Engineering; Energiteknik;

    Sammanfattning : Transportation is embedded in the fabric of society and a key enabler of socio-economic development, but it is also a major source of carbon dioxide (CO2) and local air pollution (AP). Cities collectively account for around three quarters of total energy-related CO2 emissions, and the negative health impacts from local APs are most felt in dense urban environments. LÄS MER

  5. 4. On the road to climate neutral Swedish transportation: Energy system modelling to support the transition at national, regional, and local levels

    Författare :Jonas Forsberg; Anna Krook-Riekkola; Andrea Toffolo; Åsa Lindman; Hannah E. Daly; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Energy transition; Energy system modelling; TIMES-City; TIMES-Sweden; Transportation; Decarbonisation; Climate mitigation; Energiteknik; Energy Engineering;

    Sammanfattning : Transportation is a critical pillar of modern society. Over the past decades, growth in mobility of people and goods have been both enabled by and dependent upon fossil fuels. Strong action is needed to break this dependence in order to reduce CO2. LÄS MER