Logic programming foundations of cyber-physical systems

DOI10.4230/LIPICS.ICLP.2010.289MaRDI QIDQ2883109zbMATH OpenFDO

Authors Neda Saeedloei

Publication date 11 May 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_9aa1.html

zbMATH Keywords

co-inductionconstraint logic programming over realscoroutiningcyber-physical systems

Mathematics Subject Classification ID

Logic programming (68N17) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Towards a modeling language for cyber-physical systems
• Logical foundations of cyber-physical systems
• A formal model for a hybrid programming language
• A calculus of cyber-physical systems
• Constraint logic programming for reasoning about discrete event processes

Cited in

(5)

• Dynamic doxastic differential dynamic logic for belief-aware cyber-physical systems
• A formal model for a hybrid programming language
• Towards a modeling language for cyber-physical systems
• Logical foundations of cyber-physical systems
• Book review of: A. Platzer, Logical foundations of cyber-physical systems

This page was built for publication: Logic programming foundations of cyber-physical systems

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