Tabuada, Paulo.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
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.
(書目-電子資源)
Verification and control of hybrid systemsa symbolic approach /
by:
SpringerLink (Online service); Tabuada, Paulo.
(書目-電子資源)
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.
(書目-電子資源)
主題
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.