scientific article; zbMATH DE number 1760148

MaRDI QIDQ4537137zbMATH OpenFDO

Authors A. Burgueño, Vlad Rusu

Publication date 6 November 2002

zbMATH Keywords

hybrid automataparametric polyhedrareal-time systems

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1696512
• scientific article; zbMATH DE number 1301631
• 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)
• scientific article; zbMATH DE number 1301612
• An automata-theoretic approach to reasoning about parameterized systems and specifications
• Synthesis of parametric hybrid automata from time series

Cited in

(3)

• scientific article; zbMATH DE number 1696512 (Why is no real title available?)
• scientific article; zbMATH DE number 1301631 (Why is no real title available?)
• 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:

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