Improved cellular models with parallel cell-DEVS
The Cell-DEVS paradigm allows the specification of executable cell spaces with timing delays. This approach allows easy definition of complex behavior in physical systems, which can be verified formally. The original definition of this formalism can lead to serialization and incorrect execution when...
Guardado en:
| Autor principal: | Wainer, Gabriel A. |
|---|---|
| Publicado: |
2000
|
| Materias: | |
| Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_07406797_v17_n2_p73_Wainer http://hdl.handle.net/20.500.12110/paper_07406797_v17_n2_p73_Wainer |
| Aporte de: |
Ejemplares similares
-
Improved cellular models with parallel cell-DEVS
por: Wainer, G.A. -
Experimental results oil the implementation of modelica using DEVS modeling and simulation
por: D'Abreu, M.C., et al. -
Experimental results oil the implementation of modelica using DEVS modeling and simulation
Publicado: (2006) -
Using a Discrete-Event System Specifications (DEVS) for designing a Modelica compiler
por: Wainer, G.A., et al. -
Using a Discrete-Event System Specifications (DEVS) for designing a Modelica compiler
Publicado: (2015)