12 citations · 28 across the 13 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.FL2015
A synchronous rendering of hybrid systems for designing Plant-on-a-Chip (PoC)
Avinash Malik, Partha S Roop, Sidharta Andalam +2
Hybrid systems are discrete controllers that are used for controlling a physical process (plant) exhibiting continuous dynamics. A hybrid automata (HA) is a well known and widely u…
eess.SY2015★ 1 cited
A unified framework for modeling and implementation of hybrid systems with synchronous controllers
Avinash Malik, Partha Roop
This paper presents a novel approach to including non-instantaneous discrete control transitions in the linear hybrid automaton approach to simulation and verification of hybrid co…