160 citations · 831 across the 126 of their papers we have counts for
Showing 2011 · eess.SYShow all
2 papers · 2 filters
eess.SY2011
A Formal Verification Approach to the Design of Synthetic Gene Networks
Boyan Yordanov, Calin Belta
The design of genetic networks with specific functions is one of the major goals of synthetic biology. However, constructing biological devices that work "as required" remains chal…
eess.SY2011
Probabilistically Safe Vehicle Control in a Hostile Environment
Igor Cizelj, Xu Chu Ding, Morteza Lahijanian +2
In this paper we present an approach to control a vehicle in a hostile environment with static obstacles and moving adversaries. The vehicle is required to satisfy a mission object…