Parametric Linear Hybrid Automata for Complex Environmental Systems Modeling
Environmental systems, whether they be weather patterns or predator-prey relationships, are dependent on a number of different variables, each directly or indirectly affecting the system at large. Since not all of these factors are known, these systems take on non-linear dynamics, making it difficul...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Frontiers Media S.A.
2015-07-01
|
| Series: | Frontiers in Environmental Science |
| Subjects: | |
| Online Access: | http://journal.frontiersin.org/Journal/10.3389/fenvs.2015.00047/full |
| _version_ | 1811315461704384512 |
|---|---|
| author | Samar Hayat Khan Tareen Jamil eAhmad Olivier eRoux |
| author_facet | Samar Hayat Khan Tareen Jamil eAhmad Olivier eRoux |
| author_sort | Samar Hayat Khan Tareen |
| collection | DOAJ |
| description | Environmental systems, whether they be weather patterns or predator-prey relationships, are dependent on a number of different variables, each directly or indirectly affecting the system at large. Since not all of these factors are known, these systems take on non-linear dynamics, making it difficult to accurately predict meaningful behavioral trends far into the future. However, such dynamics do not warrant complete ignorance of different efforts to understand and model close approximations of these systems. Towards this end, we have applied a logical modeling approach to model and analyze the behavioral trends and systematic trajectories that these systems exhibit without delving into their quantification. This approach, formalized by René Thomas for discrete logical modeling of Biological Regulatory Networks (BRNs) and further extended in our previous studies as parametric biological linear hybrid automata (Bio-LHA), has been previously employed for the analyses of different molecular regulatory interactions occurring across various cells and microbial species. As relationships between different interacting components of a system can be simplified as positive or negative influences, we can employ the Bio-LHA framework to represent different components of the environmental system as positive or negative feedbacks. In the present study, we highlight the benefits of hybrid (discrete/continuous) modeling which lead to refinements among the fore-casted behaviors in order to find out which ones are actually possible. We have taken two case studies: an interaction of three microbial species in a freshwater pond, and a more complex atmospheric system, to show the applications of the Bio-LHA methodology for the timed hybrid modeling of environmental systems. Results show that the approach using the Bio-LHA is a viable method for behavioral modeling of complex environmental systems by finding timing constraints while keeping the complexity of the model at a minimum. |
| first_indexed | 2024-04-13T11:30:58Z |
| format | Article |
| id | doaj.art-739da2022b8a4103abc2844c60492fff |
| institution | Directory Open Access Journal |
| issn | 2296-665X |
| language | English |
| last_indexed | 2024-04-13T11:30:58Z |
| publishDate | 2015-07-01 |
| publisher | Frontiers Media S.A. |
| record_format | Article |
| series | Frontiers in Environmental Science |
| spelling | doaj.art-739da2022b8a4103abc2844c60492fff2022-12-22T02:48:34ZengFrontiers Media S.A.Frontiers in Environmental Science2296-665X2015-07-01310.3389/fenvs.2015.00047143065Parametric Linear Hybrid Automata for Complex Environmental Systems ModelingSamar Hayat Khan Tareen0Jamil eAhmad1Olivier eRoux2Maastricht UniversityNational University of Sciences and Technology (NUST)Ecole Centrale de NantesEnvironmental systems, whether they be weather patterns or predator-prey relationships, are dependent on a number of different variables, each directly or indirectly affecting the system at large. Since not all of these factors are known, these systems take on non-linear dynamics, making it difficult to accurately predict meaningful behavioral trends far into the future. However, such dynamics do not warrant complete ignorance of different efforts to understand and model close approximations of these systems. Towards this end, we have applied a logical modeling approach to model and analyze the behavioral trends and systematic trajectories that these systems exhibit without delving into their quantification. This approach, formalized by René Thomas for discrete logical modeling of Biological Regulatory Networks (BRNs) and further extended in our previous studies as parametric biological linear hybrid automata (Bio-LHA), has been previously employed for the analyses of different molecular regulatory interactions occurring across various cells and microbial species. As relationships between different interacting components of a system can be simplified as positive or negative influences, we can employ the Bio-LHA framework to represent different components of the environmental system as positive or negative feedbacks. In the present study, we highlight the benefits of hybrid (discrete/continuous) modeling which lead to refinements among the fore-casted behaviors in order to find out which ones are actually possible. We have taken two case studies: an interaction of three microbial species in a freshwater pond, and a more complex atmospheric system, to show the applications of the Bio-LHA methodology for the timed hybrid modeling of environmental systems. Results show that the approach using the Bio-LHA is a viable method for behavioral modeling of complex environmental systems by finding timing constraints while keeping the complexity of the model at a minimum.http://journal.frontiersin.org/Journal/10.3389/fenvs.2015.00047/fullNetwork analysishybrid modelingenvironmental systemsLinear hybrid automataHyTechRene ́ Thomas Formalism |
| spellingShingle | Samar Hayat Khan Tareen Jamil eAhmad Olivier eRoux Parametric Linear Hybrid Automata for Complex Environmental Systems Modeling Frontiers in Environmental Science Network analysis hybrid modeling environmental systems Linear hybrid automata HyTech Rene ́ Thomas Formalism |
| title | Parametric Linear Hybrid Automata for Complex Environmental Systems Modeling |
| title_full | Parametric Linear Hybrid Automata for Complex Environmental Systems Modeling |
| title_fullStr | Parametric Linear Hybrid Automata for Complex Environmental Systems Modeling |
| title_full_unstemmed | Parametric Linear Hybrid Automata for Complex Environmental Systems Modeling |
| title_short | Parametric Linear Hybrid Automata for Complex Environmental Systems Modeling |
| title_sort | parametric linear hybrid automata for complex environmental systems modeling |
| topic | Network analysis hybrid modeling environmental systems Linear hybrid automata HyTech Rene ́ Thomas Formalism |
| url | http://journal.frontiersin.org/Journal/10.3389/fenvs.2015.00047/full |
| work_keys_str_mv | AT samarhayatkhantareen parametriclinearhybridautomataforcomplexenvironmentalsystemsmodeling AT jamileahmad parametriclinearhybridautomataforcomplexenvironmentalsystemsmodeling AT oliviereroux parametriclinearhybridautomataforcomplexenvironmentalsystemsmodeling |