Modelado y análisis probabilístico de sistemas híbridos
- Autores
- Vilallonga, Gabriel Domingo; Riesco, Daniel Eduardo; Campos, Sérgio
- Año de publicación
- 2016
- Idioma
- español castellano
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- 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.
Eje: Ingeniería de Software
Red de Universidades con Carreras en Informática (RedUNCI) - Materia
-
Ciencias Informáticas
sistemas híbridos
sistemas híbridos probabilísticos
model checking
model checking probabilístico
sistemas biológicos - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
- Repositorio
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/54092
Ver los metadatos del registro completo
id |
SEDICI_c7fa95bc2b290324ecee85a32562e00f |
---|---|
oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/54092 |
network_acronym_str |
SEDICI |
repository_id_str |
1329 |
network_name_str |
SEDICI (UNLP) |
spelling |
Modelado y análisis probabilístico de sistemas híbridosVilallonga, Gabriel DomingoRiesco, Daniel EduardoCampos, SérgioCiencias Informáticassistemas híbridossistemas híbridos probabilísticosmodel checkingmodel checking probabilísticosistemas biológicosLos 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.Eje: Ingeniería de SoftwareRed de Universidades con Carreras en Informática (RedUNCI)2016-04info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf489-492http://sedici.unlp.edu.ar/handle/10915/54092spainfo:eu-repo/semantics/altIdentifier/isbn/978-950-698-377-2info:eu-repo/semantics/reference/hdl/10915/52766info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:37:56Zoai:sedici.unlp.edu.ar:10915/54092Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:37:56.19SEDICI (UNLP) - Universidad Nacional de La Platafalse |
dc.title.none.fl_str_mv |
Modelado y análisis probabilístico de sistemas híbridos |
title |
Modelado y análisis probabilístico de sistemas híbridos |
spellingShingle |
Modelado y análisis probabilístico de sistemas híbridos Vilallonga, Gabriel Domingo Ciencias Informáticas sistemas híbridos sistemas híbridos probabilísticos model checking model checking probabilístico sistemas biológicos |
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 |
dc.creator.none.fl_str_mv |
Vilallonga, Gabriel Domingo Riesco, Daniel Eduardo Campos, Sérgio |
author |
Vilallonga, Gabriel Domingo |
author_facet |
Vilallonga, Gabriel Domingo Riesco, Daniel Eduardo Campos, Sérgio |
author_role |
author |
author2 |
Riesco, Daniel Eduardo Campos, Sérgio |
author2_role |
author author |
dc.subject.none.fl_str_mv |
Ciencias Informáticas sistemas híbridos sistemas híbridos probabilísticos model checking model checking probabilístico sistemas biológicos |
topic |
Ciencias Informáticas sistemas híbridos sistemas híbridos probabilísticos model checking model checking probabilístico sistemas biológicos |
dc.description.none.fl_txt_mv |
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. Eje: Ingeniería de Software Red de Universidades con Carreras en Informática (RedUNCI) |
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. |
publishDate |
2016 |
dc.date.none.fl_str_mv |
2016-04 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/conferenceObject info:eu-repo/semantics/publishedVersion Objeto de conferencia http://purl.org/coar/resource_type/c_5794 info:ar-repo/semantics/documentoDeConferencia |
format |
conferenceObject |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
http://sedici.unlp.edu.ar/handle/10915/54092 |
url |
http://sedici.unlp.edu.ar/handle/10915/54092 |
dc.language.none.fl_str_mv |
spa |
language |
spa |
dc.relation.none.fl_str_mv |
info:eu-repo/semantics/altIdentifier/isbn/978-950-698-377-2 info:eu-repo/semantics/reference/hdl/10915/52766 |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
dc.format.none.fl_str_mv |
application/pdf 489-492 |
dc.source.none.fl_str_mv |
reponame:SEDICI (UNLP) instname:Universidad Nacional de La Plata instacron:UNLP |
reponame_str |
SEDICI (UNLP) |
collection |
SEDICI (UNLP) |
instname_str |
Universidad Nacional de La Plata |
instacron_str |
UNLP |
institution |
UNLP |
repository.name.fl_str_mv |
SEDICI (UNLP) - Universidad Nacional de La Plata |
repository.mail.fl_str_mv |
alira@sedici.unlp.edu.ar |
_version_ |
1842260238116323328 |
score |
13.13397 |