scientific article; zbMATH DE number 1760148

zbMATH Open0996.68628MaRDI QIDQ4537137

A. Burgueño, Vlad Rusu

Publication date: 6 November 2002

Title of this publication is not available (Why is that?)

zbMATH Keywords

real-time systemshybrid automataparametric polyhedra

Mathematics Subject Classification ID

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

Related Items (1)

Using hybrid automata to support human factors analysis in a critical system

Uses Software

• HyTech

Recommendations

• Engineering constraint solvers for automatic analysis of probabilistic hybrid automata 👍 👎
• Some problems of analysis of hybrid automata 👍 👎
• From finite automata toward hybrid systems (Extended abstract) 👍 👎
• An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications 👍 👎
• Using hybrid automata to support human factors analysis in a critical system 👍 👎
• Synthesis of parametric hybrid automata from time series 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)