A dynamic quantized state system execution framework for hybrid automata

DOI10.1016/J.NAHS.2020.100870MaRDI QIDQ2178226zbMATH OpenOpenAlexWikidataFDO

Authors 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) Discrete event control/observation systems (93C65) Automated systems (robots, etc.) in control theory (93C85) Networked control (93B70)

Recommendations

• Efficient simulation of general stochastic hybrid systems
• Discrete Event Simulation of Hybrid Systems
• Continuous-time models for system design and analysis
• Rigorous simulation-based analysis of linear hybrid systems
• scientific article; zbMATH DE number 1507210

Cites work

• scientific article; zbMATH DE number 1794371 (Why is no real title available?)
• A Second-Order Approximation for DEVS Simulation of Continuous Systems
• Assume-guarantee verification of nonlinear hybrid systems with ARIADNE
• Discrete Event Simulation of Hybrid Systems
• Reachability Analysis of Nonlinear Differential-Algebraic Systems
• State event location in differential-algebraic models
• The algorithmic analysis of hybrid systems
• What's decidable about hybrid automata?

Cited in

(2)

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

Describes a project that uses

Uses Software

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2178226)