Employing discrete controller synthesis for developing systems-of-systems controllers (2024)
- Authors:
- USP affiliated authors: NAKAGAWA, ELISA YUMI - ICMC ; MANZANO, WALLACE ALVES ESTEVES - ICMC
- Unidade: ICMC
- DOI: 10.1145/3643655.3643875
- Subjects: TESTE E AVALIAÇÃO DE SOFTWARE; DESENVOLVIMENTO DE SOFTWARE
- Keywords: discrete controller synthesis; systems-of-systems; discrete event systems; linear temporal logic
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: Proceedings
- Conference titles: International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems - SESoS
- Status:
- Artigo publicado em periódico de acesso aberto (Gold Open Access)
- Versão do Documento:
- Versão publicada (Published version)
- Acessar versão aberta:
-
ABNT
LI, Jialong et al. Employing discrete controller synthesis for developing systems-of-systems controllers. 2024, Anais.. New York: ACM, 2024. Disponível em: https://doi.org/10.1145/3643655.3643875. Acesso em: 12 abr. 2026. -
APA
Li, J., Manzano, W. A. E., Yamauchi, T., Matsuyama, N., Nakagawa, E. Y., & Tei, K. (2024). Employing discrete controller synthesis for developing systems-of-systems controllers. In Proceedings. New York: ACM. doi:10.1145/3643655.3643875 -
NLM
Li J, Manzano WAE, Yamauchi T, Matsuyama N, Nakagawa EY, Tei K. Employing discrete controller synthesis for developing systems-of-systems controllers [Internet]. Proceedings. 2024 ;[citado 2026 abr. 12 ] Available from: https://doi.org/10.1145/3643655.3643875 -
Vancouver
Li J, Manzano WAE, Yamauchi T, Matsuyama N, Nakagawa EY, Tei K. Employing discrete controller synthesis for developing systems-of-systems controllers [Internet]. Proceedings. 2024 ;[citado 2026 abr. 12 ] Available from: https://doi.org/10.1145/3643655.3643875 - Towards automatic generation of systems-of-systems architectural configurations
- Foundations and research agenda for simulation of smart ecosystems architectures
- Simulating Systems-of-Systems dynamic architectures
- Simulation of systems-of-systems dynamic architectures
- S.O.B. (Save Our Budget): a simulation-based method for prediction of acquisition costs of constituents of a system-of-systems
- Simulation of software architectures of smart ecosystems: theory and practice
- Simulation of system architectures using optimization and machine learning: the state of the art and research opportunities
- Simulation-based Optimization of System-of-Systems Software Architectures
- A systematic identification of formal and semi-formal languages and techniques for software-intensive systems-of-systems requirements modeling
- Model-driven engineering ecosystems
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
Por se tratar de integração com serviço externo, podem existir diferentes versões do trabalho (como preprints ou postprints), que podem diferir da versão publicada.
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
3223676.pdf |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
