Travelled to:2 × USA
Collaborated with:T.H.Yu W.Wu F.Yu
Talks about:reachabl (2) without (2) analysi (2) synthes (1) control (1) system (1) siphon (1) polici (1) method (1) enumer (1)
Person: Daniel Yuh Chao
DBLP: Chao:Daniel_Yuh
Contributed to:
2013
2013Wrote 2 papers:
- CASE-2013-WuCY #analysis #policy #reachability
- A control policy for γ-nets without reachability analysis and siphon enumeration (WW, DYC, FY), pp. 1133–1138.
- SEKE-2013-ChaoY #analysis #order #reachability #scalability
- A Best Method to Synthesize Very Large K-th Order Systems without Reachability Analysis (DYC, THY), pp. 417–420.