scientific article; zbMATH DE number 1836353

MaRDI QIDQ4782022zbMATH OpenFDO

Authors Sophie Pinchinat, H. Marchand

Publication date 27 November 2002

zbMATH Keywords

symbolic bisimulationsintensional transition systems

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

Recommendations

• Lazy abstraction-based controller synthesis
• Synthesis of controllers for abstract and structural automata
• When does abstraction help?
• Abstraction and abstraction refinement
• Compositional abstractions of hybrid control systems

Cited in

(10)

• scientific article; zbMATH DE number 1979540 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• scientific article; zbMATH DE number 2081040 (Why is no real title available?)
• When does abstraction help?
• Abstract interpretation from Büchi automata
• SMT-based generation of symbolic automata
• Abstract symbol systems (an exercise of the bottom-up approach in artificial intelligence)
• Lazy abstraction-based controller synthesis
• Synthesis of controllers for abstract and structural automata
• Symbolic dynamics and finite automata

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 Q4782022)