25 citations
- Beihang UniversityCN3 papers
- University of BernCH3 papers
- Astronomy and SpaceAU2 papers
- Bar-Ilan UniversityIL2 papers
- Leiden UniversityNL2 papers
- Max Planck Institute for Extraterrestrial PhysicsDE2 papers
- Osservatorio Astrofisico di CataniaIT2 papers
- Planetary Science InstituteUS2 papers
- Universidad Nacional Autónoma de MéxicoMX2 papers
- University of CologneDE2 papers
- Aarhus UniversityDK1 paper
- Aix-Marseille UniversitéFR1 paper
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2018★ 1 cited
Towards the Existential Control of Boolean Networks: A Preliminary Report (Extended Abstract)
Soumya Paul, Jun Pang, Cui Su
Given a Boolean network BN and a subset A of attractors of BN, we study the problem of identifying a minimal subset C of vertices of BN, such that the dynamics of BN can reach from…
eess.SY2017★ 1 cited
Quantitative Implementation Strategies for Safety Controllers
Philipp J. Meyer, Matthias Rungger, Michael Luttenberger +2
We consider the symbolic controller synthesis approach to enforce safety specifications on perturbed, nonlinear control systems. In general, in each state of the system several con…