We stand with Ukraine  

K. Ritsuka

Orcid: 0000-0003-3713-5964

Affiliations:
  • Queen's University, Kingston, ON, Canada


According to our database1, K. Ritsuka authored at least 6 papers between 2021 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A uniform approach to compare architectures in decentralized discrete-event systems.
[BibTeX]
[DOI]
K. Ritsuka
,
Karen Rudie
Autom., 2024

2023
Do what you know: coupling knowledge with action in discrete-event systems.
[BibTeX]
[DOI]
K. Ritsuka
,
Karen Rudie
Discret. Event Dyn. Syst., September, 2023

2022
Epistemic interpretations of decentralized discrete-event system problems.
[BibTeX]
[DOI]
K. Ritsuka
,
Karen Rudie
Discret. Event Dyn. Syst., 2022

Equivalence of Decentralized Observation, Diagnosis, and Control Problems in Discrete-event Systems.
[BibTeX]
[DOI]
K. Ritsuka
,
Karen Rudie
CoRR, 2022

A Framework for the High-Level Specification and Verification of Synchronous Digital Logic Systems.
[BibTeX]
[DOI]
Nick Mertin
,
K. Ritsuka
,
Karen Rudie
CoRR, 2022

2021
A Visualization of Inference-Based Supervisory Control in Discrete-Event Systems.
[BibTeX]
[DOI]
K. Ritsuka
,
Karen Rudie
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021


  Loading...