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...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Journal of reliable intelligent environments Ročník 3; číslo 1; s. 55 - 79
Hlavní autoři: Gallardo, María-del-Mar, Lavado, Leticia, Panizo, Laura, Titolo, Laura
Médium: Journal Article
Jazyk:angličtina
Vydáno: Cham Springer International Publishing 01.07.2017
Springer Nature B.V
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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 makes the construction of complex discrete components necessary, which may require the use of more sophisticated concurrent languages. H y- tccp is a concurrent language for modelling hybrid systems with high-level notations that facilitate the description of computational systems, abstracting away from the implementation details. In this paper, we present an operational semantics based on hybrid automata for H y- tccp which is a theoretical basis for the analysis and verification of hybrid systems like intelligent environment.
Bibliografie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:2199-4668
2199-4676
DOI:10.1007/s40860-017-0040-3