BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Korea
Collaborated with:
K.Sawada Kento Tsukada
Talks about:
control (2) system (2) decomposit (1) toolchain (1) feedback (1) softwar (1) quantiz (1) network (1) continu (1) kalman (1)

Person: Seiichi Shin

DBLP DBLP: Shin:Seiichi

Contributed to:

CASE 20122012
CASE 20162016

Wrote 2 papers:

CASE-2012-SawadaS #design #feedback #on the #optimisation
On numerical optimization design of continuous-time feedback type quantizer for networked control systems (KS, SS), pp. 1144–1149.
CASE-2016-TsukadaSS #composition #model checking
A toolchain on model checking SPIN via Kalman Decomposition for control system software (KT, KS, SS), pp. 300–305.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.