Task-system analysis using slope-parametric hybrid automata

DOI10.1007/BFB0002882MaRDI QIDQ4537137zbMATH OpenFDO

Authors A. Burgueño, Vlad Rusu

Publication date 6 November 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0002882

zbMATH Keywords

hybrid automataparametric polyhedrareal-time systems

Mathematics Subject Classification ID

General theory of computer systems (68M01) Computing methodologies and applications (68U99)

Recommendations

• Using cylindrical algebraic decomposition for the analysis of slope parametric hybrid automata
• Analysis of slope-parametric rectangular automata
• scientific article; zbMATH DE number 1429791
• Some problems of analysis of hybrid automata
• Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
• Using hybrid automata to support human factors analysis in a critical system
• From finite automata toward hybrid systems (Extended abstract)
• Computing approximating automata for a class of linear hybrid systems
• An automata-theoretic approach to reasoning about parameterized systems and specifications
• Synthesis of parametric hybrid automata from time series

Cited in

(3)

• Using cylindrical algebraic decomposition for the analysis of slope parametric hybrid automata
• Analysis of slope-parametric rectangular automata
• Using hybrid automata to support human factors analysis in a critical system

Describes a project that uses

Uses Software

• HyTech

This page was built for publication: Task-system analysis using slope-parametric hybrid automata

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