The Complete Proof Theory of Hybrid Systems Andr´e Platzer November 17, 2011 CMU-CS

Source URL: reports-archive.adm.cs.cmu.edu

Research Supported by NSF & ARO Why Should I Care About Stochastic Hybrid Systems? João Hespanha

Source URL: www.ece.ucsb.edu

• Markov models
• Probability
• Graph theory
• Markov chain
• Mathematical analysis
• Statistics
• Control theory
• Probability distributions

Microsoft Word - liu_porphyrin_SI.docx

Source URL: www.columbia.edu

• Chemistry
• Physics
• Quantum chemistry
• Nature
• Spectral theory
• Density functional theory
• Hybrid functional
• Spectrum
• Spin
• HOMO/LUMO

Alliance Taxonomies: A Literature Review Barbic F, Cagliano R, Hidalgo A Abstract The literature on inter-firm forms of governance have been studied from different theoretical perspectives and has grown extensively in la

Source URL: oa.upm.es

• Economy
• Business
• Structure
• Management
• Strategic alliances
• Types of business entity
• Governance
• Transaction cost
• Hybrid organization
• Relational view
• Resource dependence theory
• Network governance

FUNDAMENTAL STRUCTURAL LIMITATIONS OF AN INDUSTRIAL ENERGY MANAGEMENT CONTROLLER ARCHITECTURE FOR HYBRID VEHICLES Daniel F. Opila∗ Dept. of Mechanical Engineering University of Michigan

Source URL: web.eecs.umich.edu

• Mechanical engineering
• Technology
• Transport
• Green vehicles
• Engines
• Electric vehicles
• Control theory
• Cybernetics
• Dynamometer
• Hybrid vehicle
• Fuel economy in automobiles
• Semi-automatic transmission

4 The LDA+U Approach: A Simple Hubbard Correction for Correlated Ground States Matteo Cococcioni Dept. of Chemical Engineering and Materials Science

Source URL: www.cond-mat.de

• Chemistry
• Physics
• Quantum mechanics
• Quantum chemistry
• Atomic physics
• Chemical bonding
• Density functional theory
• Condensed matter physics
• Crystal
• Hybrid functional
• Electronic correlation
• Electronic band structure

1 Rapidly Exponentially Stabilizing Control Lyapunov Functions and Hybrid Zero Dynamics Aaron D. Ames, Kevin Galloway, J. W. Grizzle, and Koushil Sreenath

Source URL: web.eecs.umich.edu

• Mathematical analysis
• Mathematics
• Dynamical systems
• Control theory
• Lyapunov stability
• Stability theory
• Lyapunov equation
• Inverse trigonometric functions
• Vector field
• Z-transform
• Bessel function

Intl. Symposium on Experimental Robotics, JuneLinguistic Composition of Semantic Maps and Hybrid Controllers ? Neil Dantam, Carlos Nieto-Granda, Henrik Christensen, and Mike Stilman Center for Robotics and Intelli

Source URL: www.neil.dantam.name

• Formal languages
• Combinatorics
• Mathematics
• Combinatorics on words
• Discrete mathematics
• Theoretical computer science
• Models of computation
• Finite automata
• Automata theory
• Pushdown automaton
• Finite-state machine
• Alphabet

Microsoft Word - SP-SDP for HEVs _for IJRNC_ - Revised 011.doc

Source URL: web.eecs.umich.edu

• Transport
• Automotive industry
• Electric vehicle
• Sustainable transport
• Hybrid electric vehicle
• Hybrid vehicle drivetrain
• Powertrain
• Stochastic control
• Control theory

Control Lyapunov Functions and Hybrid Zero Dynamics Aaron D. Ames, Kevin Galloway, and J. W. Grizzle Abstract— Hybrid zero dynamics extends the Byrnes-Isidori notion of zero dynamics to a class of hybrid models called

Source URL: web.eecs.umich.edu

• Nonlinear control
• Systems theory
• Systems science
• Control theory
• Dynamical systems
• Cybernetics
• Lyapunov stability
• Stability theory
• Feedback linearization
• Vertex operator algebra