Max-plus-algebraic hybrid automata: Beyond synchronisation and linearity

Man-made systems, such as manufacturing and transportation networks, and their interactions with the environment are driven by human-designed operational rules. These rules are most often based on the asynchronous occurrence of discrete events over time, such as the arrival and departure of trains at a station. The modelling, analysis, and...