Modelado y análisis probabilístico de sistemas híbridos
Los sistemas híbridos, se han tornado de gran interés en la comunidad científica a partir del desafío que presenta el estudio de sus dinámicas, las continuas y las discretas, y el estudio y comprensión de sus interacciones. Estas puede tomar diversas formas, las más comunes ocurren cuando cambian d...
| Autores principales: | , , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2016
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/54092 |
| Aporte de: |
| id |
I19-R120-10915-54092 |
|---|---|
| record_format |
dspace |
| institution |
Universidad Nacional de La Plata |
| institution_str |
I-19 |
| repository_str |
R-120 |
| collection |
SEDICI (UNLP) |
| language |
Español |
| topic |
Ciencias Informáticas sistemas híbridos sistemas híbridos probabilísticos model checking model checking probabilístico sistemas biológicos |
| spellingShingle |
Ciencias Informáticas sistemas híbridos sistemas híbridos probabilísticos model checking model checking probabilístico sistemas biológicos Vilallonga, Gabriel Domingo Riesco, Daniel Eduardo Campos, Sérgio Modelado y análisis probabilístico de sistemas híbridos |
| topic_facet |
Ciencias Informáticas sistemas híbridos sistemas híbridos probabilísticos model checking model checking probabilístico sistemas biológicos |
| description |
Los sistemas híbridos, se han tornado de gran interés en la comunidad científica a partir del desafío que presenta el estudio de sus dinámicas, las continuas y las discretas, y el estudio y comprensión de sus interacciones.
Estas puede tomar diversas formas, las más comunes ocurren cuando cambian de estado entre diferentes procesos continuos. Otras formas de interacción incluyen transiciones discretas que dependen de evoluciones continuas, u otras aparecen como resultados de una decisión, o por la ocurrencia de ciertos eventos.
Un sistema híbrido probabilístico considera la distribución de probabilidad de ambas dinámicas, y se enfoca el análisis en lo referido a la alcanzabilidad probabilística El acercamiento numérico sufre del problema de explosión de estados y son computacionalmente muy exigentes. Un método alternativo de análisis es el realizado por medio de Model Checkers Probabilísticos.
En nuestra línea de investigación proponemos el modelado y estudio de estos sistemas, como parte de la verificación y validación de sistemas desde un punto de vista de la ingeniería de software por medio de herramientas de model checking. En una primera etapa se centrará en modelos, específicamente de sistemas biológicos, con el objetivo de mejorar el poder predictivo de modelos formales existentes. |
| format |
Objeto de conferencia Objeto de conferencia |
| author |
Vilallonga, Gabriel Domingo Riesco, Daniel Eduardo Campos, Sérgio |
| author_facet |
Vilallonga, Gabriel Domingo Riesco, Daniel Eduardo Campos, Sérgio |
| author_sort |
Vilallonga, Gabriel Domingo |
| title |
Modelado y análisis probabilístico de sistemas híbridos |
| title_short |
Modelado y análisis probabilístico de sistemas híbridos |
| title_full |
Modelado y análisis probabilístico de sistemas híbridos |
| title_fullStr |
Modelado y análisis probabilístico de sistemas híbridos |
| title_full_unstemmed |
Modelado y análisis probabilístico de sistemas híbridos |
| title_sort |
modelado y análisis probabilístico de sistemas híbridos |
| publishDate |
2016 |
| url |
http://sedici.unlp.edu.ar/handle/10915/54092 |
| work_keys_str_mv |
AT vilallongagabrieldomingo modeladoyanalisisprobabilisticodesistemashibridos AT riescodanieleduardo modeladoyanalisisprobabilisticodesistemashibridos AT campossergio modeladoyanalisisprobabilisticodesistemashibridos |
| bdutipo_str |
Repositorios |
| _version_ |
1764820475925495809 |