Results 131 to 140 of about 13,172 (205)
Bisimulation of Dynamical Systems
, 2004 A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation relation is derived using geometric control theory. Bisimulation of dynamical systems is shown to be a concept which unifies the system-theoretic concepts of state space ...
openaire +3 more sources
Ion channel model reduction using manifold boundaries. [PDF]
J R Soc Interface, 2022 Whittaker DG +6 more
europepmc +2 more sources
Publisher Correction: Process calculi may reveal the equivalence lying at the heart of RNA and proteins. [PDF]
Sci Rep, 2019 Maestri S, Merelli E.
europepmc +1 more source
Visual Pretraining via Contrastive Predictive Model for Pixel-Based Reinforcement Learning. [PDF]
Sensors (Basel), 2022 Luu TM, Vu T, Nguyen T, Yoo CD.
europepmc +1 more source
A Process Algebraic Approach to Predict and Control Uncertainty in Smart IoT Systems for Smart Cities Based on Permissible Probabilistic Equivalence. [PDF]
Sensors (Basel)Song J, Karagiannis D, Lee M.
europepmc +1 more source