A dynamic quantized state system execution framework for hybrid automata

DOI10.1016/J.NAHS.2020.100870zbMATH Open1441.93104OpenAlexW3000528769WikidataQ126333787 ScholiaQ126333787MaRDI QIDQ2178226FDOQ2178226

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

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

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)

Cites Work

• What's decidable about hybrid automata?
• Assume-guarantee verification of nonlinear hybrid systems with ARIADNE
• The algorithmic analysis of hybrid systems
• State event location in differential-algebraic models
• Title not available (Why is that?)
• Reachability Analysis of Nonlinear Differential-Algebraic Systems
• A Second-Order Approximation for DEVS Simulation of Continuous Systems
• Discrete Event Simulation of Hybrid Systems

Cited In (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

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)