Keyword : reactive system


A Reactive Management System for Reliable Power Supply in a Building Microgrid with Vehicle-to-Grid Interaction
Shoko KIMURA Yoshihiko SUSUKI Atsushi ISHIGAME 
Publication:   
Publication Date: 2018/08/01
Vol. E101-A  No. 8 ; pp. 1172-1184
Type of Manuscript:  PAPER
Category: Systems and Control
Keyword: 
energy management systemelectric vehiclebuilding microgridreactive systemformal methodlinear temporal logic
 Summary | Full Text:PDF

Bounded Strong Satisfiability Checking of Reactive System Specifications
Masaya SHIMAKAWA Shigeki HAGIHARA Naoki YONEZAKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/07/01
Vol. E97-D  No. 7 ; pp. 1746-1755
Type of Manuscript:  PAPER
Category: Software System
Keyword: 
reactive systembounded analysisSAT solverrealizabilityLTL specification
 Summary | Full Text:PDF

Complexity of Strong Satisfiability Problems for Reactive System Specifications
Masaya SHIMAKAWA Shigeki HAGIHARA Naoki YONEZAKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2013/10/01
Vol. E96-D  No. 10 ; pp. 2187-2193
Type of Manuscript:  PAPER
Category: Fundamentals of Information Systems
Keyword: 
reactive systemstrong satisfiabilityrealizabilitycomplexityLTL specification
 Summary | Full Text:PDF

Making Reactive Systems Highly Reliable by Hypersequential Programming
Naoshi UCHIHIRA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/04/01
Vol. E88-A  No. 4 ; pp. 941-947
Type of Manuscript:  Special Section PAPER (Special Section on Selected Papers from the 17th Workshop on Circuits and Systems in Karuizawa)
Category: 
Keyword: 
reactive systemreliabilityscenariohypersequential programming
 Summary | Full Text:PDF

Verification of a Microcomputer Program Specification Embedded in a Reactive System
Yasunori ISHIHARA Kiichiro NINOMIYA Hiroyuki SEKI Daisuke TAKAHARA Yutaka YAMADA Shigesada OMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/05/25
Vol. E83-D  No. 5 ; pp. 1082-1091
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
compositional verificationmodel checkingreactive systemreachability graph
 Summary | Full Text:PDF

State Diagram Matrix for Hierarchical Specification of Reactive System
Tomohiro MURATA Kenzou KURIHARA Ayako ASHIDA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1993/10/25
Vol. E76-A  No. 10 ; pp. 1591-1597
Type of Manuscript:  Special Section PAPER (Special Section on Nets-Oriented Software Specification and Design)
Category: 
Keyword: 
state-transitionsequential machine modelstate abstractionreactive systemspecification
 Summary | Full Text:PDF

A Petri Net Based Platform for Developing Communication Software Systems
Mikio AOYAMA Carl K. CHANG 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/10/25
Vol. E75-A  No. 10 ; pp. 1348-1359
Type of Manuscript:  Special Section PAPER (Special Section on Application of Petri Nets to Concurrent System Design)
Category: 
Keyword: 
Petri netcommunication softwareformal specificationdevelopment support environmentdistributed systemreactive systemand verification
 Summary | Full Text:PDF