Sciweavers

231 search results - page 12 / 47
» Continuity controlled hybrid automata
Sort
View
RTAS
2003
IEEE
15 years 2 months ago
Modular Code Generation from Hybrid Automata based on Data Dependency
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...
Jesung Kim, Insup Lee
HYBRID
2009
Springer
15 years 4 months ago
Optimal Boundary Control of Convention-Reaction Transport Systems with Binary Control Functions
We investigate a new approach for solving boundary control problems for dynamical systems that are governed by transport equations, when the control function is restricted to binar...
Falk M. Hante, Günter Leugering
HYBRID
2005
Springer
15 years 3 months ago
A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems
Abstract. Hamilton-Jacobi partial differential equations have many applications in the analysis of nondeterministic continuous and hybrid systems. Unfortunately, analytic solution...
Ian M. Mitchell, Jeremy A. Templeton
HYBRID
2005
Springer
15 years 3 months ago
Observability of Switched Linear Systems in Continuous Time
Abstract. We study continuous-time switched linear systems with unobserved and exogenous mode signals. We analyze the observability of the initial state and initial mode under arbi...
Mohamed Babaali, George J. Pappas
JACIC
2007
84views more  JACIC 2007»
14 years 9 months ago
A Modular, Hybrid System Architecture for Autonomous, Urban Driving
Autonomous navigation in urban environments inevitably leads to having to switch between various, sometimes conflicting control tasks. Sting Racing, a collaboration between Georg...
David Wooden, Matthew Powers, Magnus Egerstedt, He...