Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleApril 2019
Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT
HSCC '19: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and ControlApril 2019, Pages 99–108https://doi.org/10.1145/3302504.3311793Formal analysis of non-linear continuous and hybrid systems is a hot topic. A common approach builds on computing a suitable finite discrete abstraction of the continuous system. In this paper, we propose a facetal abstraction which eliminates certain ...
- articleMay 2011
Component-Based Modeling and Reachability Analysis of Genetic Networks
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB), Volume 8, Issue 3Pages 672–682https://doi.org/10.1109/TCBB.2010.81Genetic regulatory networks usually encompass a multitude of complex, interacting feedback loops. Being able to model and analyze their behavior is crucial for understanding their function. However, state space explosion is becoming a limiting factor in ...
- research-articleOctober 2005
Discrete abstractions for robot motion planning and control in polygonal environments
IEEE Transactions on Robotics (TOR), Volume 21, Issue 5October 2005, Pages 864–874https://doi.org/10.1109/TRO.2005.851359In this paper, we present a computational framework for automatic generation of provably correct control laws for planar robots in polygonal environments. Using polygon triangulation and discrete abstractions, we map continuous motion planning and ...