Skip to main content
eScholarship
Open Access Publications from the University of California

Scholarly Works (2 results)

  • Thesis
  • Peer Reviewed
UC Berkeley Electronic Theses and Dissertations (2012)

Cyber-Physical systems, which is the class of dynamical systems where physical and computational components interact in a tight coordination, are found in many applications, from large-scale distributed systems, such as the electric power grid, to micro-robotic platforms based on legged locomotion, among many others. Due to their mixed nature between physical and computational components, Cyber-Physical systems are well modeled using hybrid dynamical models, which incorporate both continuous and discrete valued state variables. Also, thanks to the flexibility and great variety of optimal control formulations, it is natural to apply optimal control algorithms to solve complex problems in the context of Cyber-Physical systems, such as the verification of a given specification, or the robust identification of parameters under state constraints.

This thesis presents three new computational tools that bring the strength of hybrid dynamical models and optimal control to applications in Cyber-Physical systems. The first tool is an algorithm that finds the optimal control of a switched hybrid dynamical system under state constraints, the second tool is an algorithm that approximates the trajectories of autonomous hybrid dynamical systems, and the third tool is an algorithm that computes the optimal control of a nonlinear dynamical system using pseudospectral approximations.

These results achieve several goals. They extend widely used algorithms to new classes of dynamical systems. They also present novel mathematical techniques that can be applied to develop new, computationally efficient, tools in the context of hybrid dynamical systems. More importantly, they enable the use of control theory in new exciting applications, that because of their number of variables or complexity of their models, cannot be addressed using existing tools.

    Cover page: Computational Tools for Cyber-Physical Systems
    • Article
    • Peer Reviewed
    UC Berkeley Previously Published Works (2009)
    The impact of model-based design on the software engineering community is impressive, and recent research in model transformations, and elegant behavioral specifications of systems has the potential to revolutionize the way in which systems are designed. Such techniques aim to raise the level of abstraction at which systems are specified, to remove the burden of producing application-specific programs with general-purpose programming. For complex real-time systems, however, the impact of model-driven approaches is not nearly so widespread. In this paper, we present a perspective of model-based design researchers who joined with software experts in robotics to enter the DARPA Urban Challenge, and to what extent model-based design techniques were used. Further, we speculate on why, according to our experience and the testimonies of many teams, the full promises of model-based design were not widely realized for the competition. Finally, we present some thoughts for the future of model-based design in complex systems such as these, and what advancements in modeling are needed to motivate small-scale projects to use model-based design in these domains.
      Cover page: Model-based design: a report from the trenches of the DARPA Urban Challenge
      Top