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

Submitted by Anonymous on Wed, 09/21/2022 - 10:52am

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

Submitted by Andre Platzer on Tue, 07/12/2022 - 4:33am

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

Submitted by yusufsarwar on Mon, 08/16/2021 - 2:53am

                   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

Submitted by yusufsarwar on Wed, 06/02/2021 - 6:06pm
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

Submitted by ashiq2503 on Sat, 05/01/2021 - 11:29am. Contributors:

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

Submitted by ashiq2503 on Sat, 05/01/2021 - 11:13am. Contributors:

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.