A dynamic quantized state system execution framework for hybrid automata

DOI10.1016/j.nahs.2020.100870zbMath1441.93104OpenAlexW3000528769WikidataQ126333787 ScholiaQ126333787MaRDI QIDQ2178226

Avinash Malik, Partha Roop

Publication date: 7 May 2020

Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.nahs.2020.100870

zbMATH Keywords

numerical integrationhybrid automatacyber physical systems (CPS)quantized state systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automated systems (robots, etc.) in control theory (93C85) Discrete event control/observation systems (93C65) Networked control (93B70)

Related Items (2)

Adaptive step size numerical integration for stochastic differential equations with discontinuous drift and diffusion ⋮ Efficient simulation of general stochastic hybrid systems

Uses Software

• Matlab
• Simulink
• SpaceEx
• OpenModelica
• CyPhySim
• Flow*
• GitHub

Cites Work

• Unnamed Item
• The algorithmic analysis of hybrid systems
• What's decidable about hybrid automata?
• Reachability Analysis of Nonlinear Differential-Algebraic Systems
• A Second-Order Approximation for DEVS Simulation of Continuous Systems
• State event location in differential-algebraic models
• Discrete Event Simulation of Hybrid Systems
• Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp>

This page was built for publication: A dynamic quantized state system execution framework for hybrid automata