A constraint-based language for modelling intelligent environments

Intelligent environments can be described as hybrid systems, which combine continuous dynamics, modelling the behaviour of physical components, and discrete dynamics, modelling the software components that control the evolution of the physical variables. The growing boom in intelligent environments...

Full description

Saved in:

Bibliographic Details
Published in:	Journal of reliable intelligent environments Vol. 3; no. 1; pp. 55 - 79
Main Authors:	Gallardo, María-del-Mar, Lavado, Leticia, Panizo, Laura, Titolo, Laura
Format:	Journal Article
Language:	English
Published:	Cham Springer International Publishing 01.07.2017 Springer Nature B.V
Subjects:	Artificial Intelligence Behavior Boom Computer Science Dynamical systems Environment models Health Informatics Hybrid systems Original Article Performance and Reliability Semantics Simulation and Modeling Software Engineering/Programming and Operating Systems Technological planning User Interfaces and Human Computer Interaction Hybrid Systems Operational semantics Synchronous language Concurrent constraint paradigm Linear temporal logic
ISSN:	2199-4668, 2199-4676
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!