scientific article; zbMATH DE number 1794359
From MaRDI portal
Publication:4552455
zbMath0991.93057MaRDI QIDQ4552455
Radu Grosu, Insup Lee, Oleg Sokolsky, Rajeev Alur
Publication date: 3 September 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2034/20340033
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hierarchical systems (93A13) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (6)
Modelling and analysing neural networks using a hybrid process algebra ⋮ Compositional modeling and refinement for hierarchical hybrid systems ⋮ Model checking learning agent systems using Promela with embedded C code and abstraction ⋮ Assume-guarantee contracts for continuous-time systems ⋮ Hybrid I/O automata. ⋮ Process algebra for hybrid systems
This page was built for publication:
