Discrete-time control for rectangular hybrid automata
type: Item
instance of: scholarly article
title: Discrete-time control for rectangular hybrid automata
zbMATH Open document ID: 0930.68086
DOI: 10.1016/S0304-3975(99)00038-9
author: Thomas A. Henzinger
author: Peter W. Kopke
published in: Theoretical Computer Science
publication date: 2000-01-12T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 1387432
zbMATH Keywords: hybrid systems
zbMATH Keywords: computer-aided verification
zbMATH Keywords: controller synthesis
describes a project that uses: HyTech
MaRDI profile type: Publication
cites work: The algorithmic analysis of hybrid systems
cites work: A theory of timed automata
cites work: Modularity for timed and hybrid systems
cites work: On the menbership problem for functional and multivalued dependencies in relational databases
cites work: Symbolic model checking: \(10^{20}\) states and beyond
cites work: Q4037384
cites work: Alternation
cites work: Hybrid automata with finite bisimulations
cites work: Q4503930
cites work: Algorithmic analysis of nonlinear hybrid systems
cites work: HyTech: A model checker for hybrid systems
cites work: State equivalences for rectangular hybrid automata
cites work: Q4234084
cites work: Symbolic model checking for real-time systems
cites work: Number of quantifiers is better than number of tape cells
cites work: On the synthesis of discrete controllers for timed systems
cites work: Supervisory Control of a Class of Discrete Event Processes
cites work: Generalized finite automata theory with an application to a decision problem of second-order logic
cites work: On the synthesis of strategies in infinite games
description: scientific article; zbMATH DE number 1387432