Logic synthesis of speed independent circuits based on signal transition graph (STG) decomposition is a promising approach to tackle complexity problems like state-space explosion. Unfortunately, decomposition can result in components that in isolation have irreducible complete state coding conflicts. In earlier work, the authors showed how to resolve such conflicts by introducing internal Communication between components, but only for very restricted specification structures. Here, they improve their former work by presenting algorithms for identifying delay transitions and inserting gyroscopes for specifications having a much more general structure. Thus, the authors are now able to synthesise controllers from real-life specifications. For all algorithms, they present correctness proofs and show their successful application to benchmarks, including very complex STGs arising in the context of control resynthesis.

Did you like this research project?

To get this research project Guidelines, Training and Code... Click Here

PROJECT TITLE : Prediction of Adverse Glycemic Events from Continuous Glucose Monitoring Signal ABSTRACT: The most important goal of diabetes treatment is to keep blood glucose levels in the euglycemic range, preventing or at
PROJECT TITLE : Large Signal Large Signal Synchronizing Instability of PLL - Based VSC Connected to Weak AC Grid ABSTRACT: Voltage source converter (VSC) dominated power systems have a similar large signal synchronisation
PROJECT TITLE :Transmit Signal Designs for Spatial Modulation With Analog Phase Shifters - 2018ABSTRACT:In this Project, we study transmit codebook styles for spatial modulation with analog phase shifters. The proposed spatial
PROJECT TITLE :Signal Detection Under Short-Interval Sampling of Continuous Waveforms for Optical Wireless Scattering Communication - 2018ABSTRACT:In optical wireless scattering communication, the received signal in each symbol
PROJECT TITLE :Compressive Representation for Device-Free Activity Recognition with Passive RFID Signal Strength - 2018ABSTRACT:Understanding and recognizing human activities could be a basic research topic for a big selection

Ready to Complete Your Academic MTech Project Work In Affordable Price ?

Project Enquiry