Design Automation and Test in Europe (DATE) 2012
Date: Mar 12, 2012 7:45 am – Mar 16, 2012 7:45 am
Location: Dresden, Germany
The CPS topic in DATE includes high-level design, optimization and analysis of networked control and switched control systems; control/architecture co-design for distributed embedded systems; formal semantics, verification, model checking and abstraction refinement techniques for control software and systems; simulation and testing; architectures; modeling techniques; architecture-aware controller synthesis; model-based approaches to cyber-physical systems design; reliability-aware design and fault- tolerance; certification issues; specification languages and programming support; case studies in cyber-physical systems such as from automotive systems and avionics, smart buildings and smart grids.
Submitted by Janos Sztipanovits
on
Date: Mar 12, 2012 7:45 am – Mar 16, 2012 7:45 am
Location: Dresden, Germany
The CPS topic in DATE includes high-level design, optimization and analysis of networked control and switched control systems; control/architecture co-design for distributed embedded systems; formal semantics, verification, model checking and abstraction refinement techniques for control software and systems; simulation and testing; architectures; modeling techniques; architecture-aware controller synthesis; model-based approaches to cyber-physical systems design; reliability-aware design and fault- tolerance; certification issues; specification languages and programming support; case studies in cyber-physical systems such as from automotive systems and avionics, smart buildings and smart grids.
Submitted by Janos Sztipanovits
on