Know the unknowns: Addressing disturbances and uncertainties in autonomous systems
Future autonomous systems will employ complex sensing, computation, and communication
components for their perception, planning, control, and coordination, and could operate in …
components for their perception, planning, control, and coordination, and could operate in …
Safety-assured design and adaptation of learning-enabled autonomous systems
Future autonomous systems will employ sophisticated machine learning techniques for the
sensing and perception of the surroundings and the making corresponding decisions for …
sensing and perception of the surroundings and the making corresponding decisions for …
Leveraging weakly-hard constraints for improving system fault tolerance with functional and timing guarantees
Many safety-critical real-time systems operate under harsh environment and are subject to
soft errors caused by transient or intermittent faults. It is critical and yet often very challenging …
soft errors caused by transient or intermittent faults. It is critical and yet often very challenging …
Cross-layer adaptation with safety-assured proactive task job skipping
During the operation of many real-time safety-critical systems, there are often strong needs
for adapting to a dynamic environment or evolving mission objectives, eg, increasing …
for adapting to a dynamic environment or evolving mission objectives, eg, increasing …
Characterizing the effect of deadline misses on time-triggered task chains
P Pazzaglia, M Maggio - IEEE Transactions on Computer-Aided …, 2022 - ieeexplore.ieee.org
Modern embedded software includes complex functionalities and routines, often
implemented by splitting the code across different tasks. Such tasks communicate their …
implemented by splitting the code across different tasks. Such tasks communicate their …
[HTML][HTML] Cloud and Edge Computing for Connected and Automated Vehicles
The recent development of cloud computing and edge computing shows great promise for
the Connected and Automated Vehicle (CAV), by enabling CAVs to offload their massive on …
the Connected and Automated Vehicle (CAV), by enabling CAVs to offload their massive on …
Toward practical weakly hard real-time systems: A job-class-level scheduling approach
Recent applications of the Internet of Things and cyber-physical systems require the
integration of many sensing and control tasks into resource-constrained embedded devices …
integration of many sensing and control tasks into resource-constrained embedded devices …
Control performance analysis of automotive cyber-physical systems: A study on efficient formal verification
Automotive cyber-physical systems consist of multiple control subsystems working under
resource limitations, and the trend is to run the corresponding control tasks on a shared …
resource limitations, and the trend is to run the corresponding control tasks on a shared …
Safety-Assured Design and Adaptation of Connected and Autonomous Vehicles
Abstract Design and development of connected and autonomous vehicles (CAVs) are
accompanied by a growing concern over the safety of these systems. This chapter will …
accompanied by a growing concern over the safety of these systems. This chapter will …
Statistical approach to efficient and deterministic schedule synthesis for cyber-physical systems
Correctness of controller implementations rely on real-time guarantees that all control tasks
finish execution by their prescribed deadlines. However, with increased complexity and …
finish execution by their prescribed deadlines. However, with increased complexity and …