Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Gerardo Lafferriere
Hybrid Systems With Finite Bisimulations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Finite Bisimulations of Controllable Linear Systems
Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems
Theory of Computing Systems
Computational Theory
Theoretical Computer Science
Mathematics
Bisimulations for Fuzzy-Transition Systems
IEEE Transactions on Fuzzy Systems
Control
Systems Engineering
Applied Mathematics
Mathematics
Computational Theory
Artificial Intelligence
Finite Time Stability of Sets for Hybrid Dynamical Systems
Automatica
Control
Systems Engineering
Electrical
Electronic Engineering
A Robust Finite-Time Convergent Hybrid Observer for Linear Systems
Bisimulations, Games, and Logic
BRICS Report Series
Norm Functions for Probabilistic Bisimulations With Delays
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Hybrid Beamforming in Mm-Wave MIMO Systems Having a Finite Input Alphabet
IEEE Transactions on Communications
Electronic Engineering
Electrical
Bisimulations, Games and Logic
DAIMI Report Series
