Cover Image
Read Now

1
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...Verifying hybrid systems -- An extended duration calculus for hybrid real-time systems -- Towards...”
Cover Image
Read Now

2
by Grossman, Robert
Published 1993
Springer
Cover Image
Read Now

3
Published 1997
Springer US
“...Intelligent Hybrid Systems: Fuzzy Logic, Neural Networks, and Genetic Algorithms is an organized...”
Cover Image
Read Now

4
Published 2015
Springer International Publishing
“... Workshop on Hybrid Systems Biology, HSB 2013, held as part of the ECAL 2013 event, in Taormina, Italy...”
Cover Image
Read Now

5
Published 2015
Springer International Publishing
“... Workshop on Hybrid Systems biology, HSB 2015, held as part of the Madrid Meet 2015 event, in Madrid, Spain...”
Cover Image
Read Now

6
Published 2016
Springer International Publishing
“...This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems...”
Cover Image
Read Now

7
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... hybrid systems -- A self-learning neuro-fuzzy system -- Viable control of hybrid systems -- Modeling...”
Cover Image
Read Now

8
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...A game-theoretic approach to hybrid system design -- Verifying clocked transition systems...”
Cover Image
Read Now

9
Published 2001
Humana Press
Table of Contents: “...General Methods -- The Two-Hybrid System -- Growth and Maintenance of Yeast -- Media Formulations...”
Cover Image
Read Now

10
by Antsaklis, Panos
Published 1997
Springer Berlin Heidelberg
Cover Image
Read Now

11
by Antsaklis, Panos
Published 1999
Springer-Verlag Berlin Heidelberg
Cover Image
Read Now

12
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...Bumpless switching in hybrid systems -- A toolbox for proving and maintaining hybrid specifications...”
Cover Image
Read Now

13
Published 2006
Springer Berlin Heidelberg
Table of Contents: “...Part I: Stochastic Hybrid Processes -- Toward a General Theory of Stochastic Hybrid Systems...”
Cover Image
Read Now

14
by Antsaklis, Panos
Published 1995
Springer
Cover Image
Read Now

15
by Alur, Rajeev
Published 1996
Springer
Cover Image
Read Now

16
by Labinaz, G., Guay, M.
Published 2012
Springer Netherlands
Table of Contents: “... 7 An Operator Approach to Viable Attainability of Hybrid Systems [60] --  7.1 Introduction --  7.2...”
Cover Image
Read Now

17
Published 2019
Springer International Publishing
Table of Contents: “... -- Reachability analysis and hybrid systems biology - In Memoriam Oded Maler -- Reaction networks, oscillatory...”
Cover Image
Read Now

18
Published 2001
Humana
Table of Contents: “...General Methods -- The Two-Hybrid System -- Growth and Maintenance of Yeast -- Media Formulations...”
Cover Image
Read Now

19
Published 2018
Humana
Table of Contents: “... Bacterial Adenylate Cyclase-Based Two-Hybrid System Compatible with Gateway® Cloning -- Analyses of Protein...”
Cover Image
Read Now

20
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...Control Synthesis of Hybrid Systems Based on Predicate Invariance -- Computing Approximating...”