Design Automation Tools

Software tools for designing electronic systems.
event

Visible to the public  HSCC 2023
May 09, 2023 7:00 am - May 12, 2023 6:00 pm CDT

26th ACM International Conference on Hybrid Systems: Computation and Control

9-12 May 2023 | San Antonio, TX, USA

forum

Visible to the public PhD Student or Postdoc Position in Alexander von Humboldt Professor group

The group of Andre Platzer, the Alexander von Humboldt Professor for Logic of Autonomous Dynamical Systems, in the Department of Informatics at KIT is recruiting a PhD student or postdoc (TVL E13, full-time). Our research develops the logical foundations for cyber-physical systems and practical theorem proving tools for analyzing and correctly building such systems, including the theorem prover KeYmaera X, verified runtime monitoring ModelPlex, verified compilation, and verified safe machine learning techniques.

forum

Visible to the public IEEE SMARTCOMP 2021: Call for Participation

                   IEEE SMARTCOMP 2021 .::. Call for Participation .::.
*********************************************************************************************************************
The 7th IEEE International Conference on Smart Computing (SMARTCOMP 2021), August 23-27, 2021.

Due to uncertainties associated with the pandemic, IEEE SMARTCOMP 2021 will be held as a virtual conference.

https://www.smart-comp.info

forum

Visible to the public IEEE SMARTCOMP 2021 .::. Call for WiP papers and demos, tutorials, industry papers, and PhD forum

The 7th IEEE International Conference on Smart Computing (SMARTCOMP 2021) conference is accepting papers for WIP (Work in progress), tutorials, industry papers, and PhD forum. Please check the website for details: https://www.smart-comp.info Please note that due to uncertainties associated with the pandemic, the conference will be held as a virtual conference. Thank you.
file

Visible to the public Resiliency-Aware Deployment of SDN in Smart Grid SCADA: A Formal Synthesis Model

The supervisory control and data acquisition (SCADA) network in a smart grid must be reliable and efficient to transmit real-time data to the controller, especially when the system is under contingencies or cyberattacks. Introducing the features of software-defined networks (SDN) into a SCADA network helps in better management of communication and deployment of novel grid control operations.

file

Visible to the public Formal Synthesis of Trajectories for Unmanned Aerial Vehicles to Perform Resilient Surveillance of Critical Power Transmission

A smart grid is a widely distributed engineering system with overhead transmission lines. Physical damage to these power lines, from natural calamities or technical failures, will disrupt the functional integrity of the grid. To ensure the continuation of the grid's operational flow when those phenomena happen, the grid operator must immediately take steps to nullify the impacts and repair the problems, even if those occur in hardly-reachable remote areas.