1 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Southwest UniversityCN2 papers
- Bukidnon State UniversityPH1 paper
- Chinese Academy of SciencesCN1 paper
- College of Europe, WarsawPL1 paper
- Computer Network Information CenterCN1 paper
- Guangdong University of Foreign StudiesCN1 paper
- Hubei UniversityCN1 paper
- Hubei University for NationalitiesCN1 paper
- KU LeuvenBE1 paper
- Pázmány Péter Catholic UniversityHU1 paper
- University of BonnDE1 paper
- University of Chinese Academy of SciencesCN1 paper
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2018
Parameter Synthesis Problems for Parametric Timed Automata
Liyun Dai, Bo Liu, Zhiming Liu +1
We consider the parameter synthesis problem of parametric timed automata (PTAs). The problem is, given a PTA and a property, to compute the set of valuations of the parameters unde…
eess.SY2014★ 1 cited
A biologically inspired model for transshipment problem
Cai Gao, Chao Yan, Daijun Wei +3
Transshipment problem is one of the basic operational research problems. In this paper, our first work is to develop a biologically inspired mathematical model for a dynamical syst…