Representation of a discretely controlled continuous system in tense arithmetic

MaRDI QIDQ2703755zbMATH OpenFDO

Authors T. Mizutani, S. Igarashi, M. Shio

Publication date 8 May 2001

zbMATH Keywords

program schedulersvehicle control system

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1487733
• Control problems in a temporal logic framework
• scientific article; zbMATH DE number 1882007
• scientific article; zbMATH DE number 1301632
• Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application

Cited in

(1)

• Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application

This page was built for publication: Representation of a discretely controlled continuous system in tense arithmetic

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