Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Alexandre Donze"'
Autor:
Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto L. Sangiovanni-Vincentelli, Richard M. Murray, Alexandre Donze, Sanjit A. Seshia
Publikováno v:
IEEE Access, Vol 2, Pp 1-25 (2014)
In an aircraft electric power system, one or more supervisory control units actuate a set of electromechanical switches to dynamically distribute power from generators to loads, while satisfying safety, reliability, and real-time performance requirem
Externí odkaz:
https://doaj.org/article/99000e33be3a49ef9a1230802816cbbc
Publikováno v:
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control.
Publikováno v:
EPiC Series in Computing.
Falsification is a testing method for cyber-physical systems where numerical optimization is used to find counterexamples of a given specification that the system must fulfill. The falsification process uses quantitative semantics that play the role
Autor:
Eugenio Cinquemani, Alexandre Donzé
This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems Biology, HSB 2016, held in Grenoble, France, in October 2016.The 11 full papers presented in this book were carefully reviewed and selected from 26 sub
Publikováno v:
2016 Formal Methods in Computer-Aided Design (FMCAD).
Publikováno v:
ACC
Automative control systems are more and more developed in the model-based design paradigm. This typically involves capturing a plant model that describes the dynamical characteristics of the physical processes within the system, and a controller mode
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 125, Iss Proc. HSB 2013, Pp 92-98 (2013)
This paper presents a method for modeling biological systems which combines formal techniques on intervals, numerical simulations and satisfaction of Signal Temporal Logic (STL) formulas. The main modeling challenge addressed by this approach is the
Externí odkaz:
https://doaj.org/article/2a4eb48ee72945338d2cc7eedd4908b0
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 92, Iss Proc. HSB 2012, Pp 42-57 (2012)
This paper presents a novel framework for the modeling of biological networks. It makes use of recent tools analyzing the robust satisfaction of properties of (hybrid) dynamical systems. The main challenge of this approach as applied to biological sy
Externí odkaz:
https://doaj.org/article/455e11e4f2c7476b8dec7643ed39aa71
Publikováno v:
PLoS Computational Biology, Vol 9, Iss 5, p e1003056 (2013)
Extrinsic apoptosis is a programmed cell death triggered by external ligands, such as the TNF-related apoptosis inducing ligand (TRAIL). Depending on the cell line, the specific molecular mechanisms leading to cell death may significantly differ. Pre
Externí odkaz:
https://doaj.org/article/9ca5abdc7bb740888469515771894b01
Publikováno v:
PLoS ONE, Vol 6, Iss 9, p e24246 (2011)
Characterizing the behavior and robustness of enzymatic networks with numerous variables and unknown parameter values is a major challenge in biology, especially when some enzymes have counter-intuitive properties or switch-like behavior between acti
Externí odkaz:
https://doaj.org/article/f20d68a7f84b4c18b3eb8411bbe28455