( en | de | ru )

 

Disambiguation of "Hashimoto, Kazumune"

Author of the publication

copydeleteadd this publication to your clipboard
Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks.

, , , and . CoRR, (2022)

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)Self-triggered Model Predictive Control for continuous-time systems: A multiple discretizations approach., , and . CDC, page 3078-3083. IEEE, (2016)Realtime l1-fault-and-state estimation for multi-agent systems., , and . ACC, page 1175-1180. IEEE, (2019)Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications., , and . CDC, page 6855-6862. IEEE, (2023)Aperiodic Sampled-Data Control via Explicit Transmission Mapping: A Set-Invariance Approach., , and . IEEE Trans. Automat. Contr., 63 (10): 3523-3530 (2018)Time-constrained event-triggered Model Predictive Control for nonlinear continuous-time systems., , and . CDC, page 4326-4331. IEEE, (2015)Learning-based Safe Symbolic Abstractions for Nonlinear Control Systems., , , , and . CoRR, (2020)Collaborative rover-copter path planning and exploration with temporal logic specifications based on Bayesian update under uncertain environments., , and . CoRR, (2021)STL2vec: Signal Temporal Logic Embeddings for Control Synthesis With Recurrent Neural Networks., , and . CoRR, (2021)