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
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
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: 04 ago. 2025. -
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 2025 ago. 04 ] 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 2025 ago. 04 ] Available from: https://doi.org/10.1145/3643655.3643875 - Simulation of software architectures of smart ecosystems: theory and practice
- Simulation of system architectures using optimization andmachine learning: the state of the art and research opportunities
- Towards automatic generation of systems-of-systems architectural configurations
- 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
- Foundations and research agenda for simulation of smart ecosystems architectures
- Simulating Systems-of-Systems dynamic architectures
- Simulation-based Optimization of System-of-Systems Software Architectures
- The state of the art and future perspectives in systems of systems software architectures
- A checklist for evaluation of reference architectures of embedded systems
Informações sobre o DOI: 10.1145/3643655.3643875 (Fonte: oaDOI API)
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
