527 search results - page 60 / 106 » Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
RTAS
2003
IEEE
14 years 2 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
CEC
2010
IEEE
13 years 3 months ago
2010
IEEE
High-throughput analytical techniques such as nuclear magnetic resonance, protein kinase phosphorylation, and mass spectroscopic methods generate time dense profiles of metabolites...
HYBRID
1999
Springer
14 years 1 months ago
1999
Springer
— In this paper we prove that a switched nonlinear system has several useful ISS-type properties under average dwell-time switching signals if each constituent dynamical system i...
APIN
2004
13 years 8 months ago
2004
A hybrid neuro-symbolic problem-solving model is presented in which the aim is to forecast parameters of a complex and dynamic environment in an unsupervised way. In situations in ...
BMCBI
2007
13 years 8 months ago
2007
Many different approaches have been developed to model and simulate gene regulatory networks. We proposed the following categories for gene regulatory network models: network part...