2016年6月15日水曜日

2016/06/15

I have received notification of FORMATS yesterday. My paper was accepted but I was suggested to use zone automata instead of region automata. I have read some part of "Timed Automata: Semantics, Algorithms and Tools". Now I am not sure if zone automata are applicable to my work. I have to survey more.

I attended to Quantitative Seminar in our laboratory. We read survey paper of Stochastic games.

I attended a class of reversible computing.

2016年6月13日月曜日

2016/06/13

Form the last weekend, I am reading Totally anti-symmetric quasigroups for all orders n≠2,6 and Check digit systems over groups and anti-symmetric mappings to write a report. I realized the method in Wikipedia is different from the original one. I confused by this.

2016年6月10日金曜日

2016/06/10

Today I attended a class of matrix. Today it was about Graph.

I wrote about half of the report about reversible computing.

I discussed approximate bisimulation. I have read a survey paper with some example application. My colleague read a paper about a stocastic extension of approximate bisimulation. It can treat brown noise.

I found some paper about hybrid games, that can be applied to controller synthesis.

  • http://digitalassets.lib.berkeley.edu/techreports/ucb/text/CSD-99-1044.pdf
  • http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BBC-lics06.pdf
  • http://people.cis.ksu.edu/~pprabhakar/papers/2009/hscc09/hscc09.pdf

2016年6月6日月曜日

2016/06/06

These days, I read Modelling and verification of weighted spiking neural systems. Today, I read the latter part of Section 4 (Relating spiking neural P systems to timed safety automata). Here, the construction of the safety timed automaton from a spiking neural P system is presented. The bisimulation relation between spiking neural P systems and safety timed automata is defined and the main theorem, that is the constructed safety timed automaton is bisimilar to the given spiking neural P system.

About two weeks ago, I have read almost all of the STORMED hybrid systems except the Section 6 (Relaxations of the STORMED model). I tried to read it but I have not read the proof. I also found the slide. I will read this later.

This is the largest work of today. I have written an article about Social Issue and Research. It was very hard because it had to be 400-600 words, that is very long.

I also tried to understand Damm algorithm but I could only understand quasi group and totally anti-symmetricity because I was too tired.