About the trajectory synthesis to go back to nominal mode for a class of hybrid systems

TL;DR

This paper introduces a new method for synthesizing return trajectories in hybrid automata to transition reactive processes from default to nominal modes, using backward reachability analysis, demonstrated on a batch system.

Contribution

It proposes a novel backward reachability-based approach for trajectory synthesis in hybrid systems, specifically targeting mode reversion.

Findings

Effective trajectory synthesis for hybrid automata

Successful application to a batch system

Potential for broader hybrid system control

Abstract

This paper presents basis parts of a new method to synthesize a return trajectory for a reactive process from a default mode to one of the nominal modes. The process is modeled with a hybrid automata. The purpose consists of doing a backward reachability analysis from the final state to the initial state, in the state-space. This method is applied to a batch system.