Tabuada, Paulo.
Overview
Works: | 0 works in 0 publications in 0 languages |
---|
Titles
Networked Embedded Sensing and ControlWorkshop NESC'05: University of Notre Dame, USA, October 2005 Proceedings /
by:
(1998 :); Antsaklis, Panos J.; SpringerLink (Online service); Tabuada, Paulo.
(Electronic resources)
Verification and control of hybrid systemsa symbolic approach /
by:
SpringerLink (Online service); Tabuada, Paulo.
(Electronic resources)
Hybrid systemscomputation and control, 12th international conference, HSCC 2009, San Francisco, CA,USA, April 13-15, 2009, proceedings /
by:
(1998 :); Majumdar, Rupak.; SpringerLink (Online service); Tabuada, Paulo.
(Electronic resources)
Subjects
Communications Engineering, Networks.
Software Engineering.
Mathematical Logic and Formal Languages.
Information Systems and Communication Service.
Logics and Meanings of Programs.
Hybrid systems.
Digital control systems.
Control Engineering.
Computation by Abstract Devices.
Computer systems
Vibration, Dynamical Systems, Control.
Processor Architectures.
Special Purpose and Application-Based Systems.
Control.
Mathematics.
Models and Principles.
Systems Theory, Control.
Engineering.
Hybrid computers
Simulation and Modeling.
Computer Science.