( en | de | ru )

 

Disambiguation of "Hashimoto, Kazumune"

Author of the publication

copydeleteadd this publication to your clipboard
Synthesizing Communication Plans for Reachability and Safety Specifications.

, and . IEEE Trans. Automat. Contr., 65 (2): 561-576 (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Setsuko Hashimoto

Marcelo Hashimoto

Jujiro Hashimoto

Yoko Hashimoto

 

Other publications of authors with the same name

Self-Triggered Model Predictive Control for Nonlinear Input-Affine Dynamical Systems via Adaptive Control Samples Selection., , and . IEEE Trans. Automat. Contr., 62 (1): 177-189 (2017)Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks., , , and . CoRR, (2022)Realtime l1-fault-and-state estimation for multi-agent systems., , and . ACC, page 1175-1180. IEEE, (2019)Self-triggered Model Predictive Control for continuous-time systems: A multiple discretizations approach., , and . CDC, page 3078-3083. IEEE, (2016)Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications., , and . CDC, page 6855-6862. IEEE, (2023)Resource-aware networked control systems under temporal logic specifications., and . Discrete Event Dynamic Systems, 29 (4): 473-499 (2019)A Symbolic Approach to the Self-Triggered Design for Networked Control Systems., , , , and . IEEE Control. Syst. Lett., 3 (4): 1050-1055 (2019)Event-triggered control for mitigating SIS spreading processes., , , and . Annu. Rev. Control., (2021)Learning-based symbolic abstractions for nonlinear control systems., , , , and . Autom., (2022)STLCCP: An Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications., , and . CoRR, (2023)