- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-299X
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
PuRSUE -from specification of robotic environments to synthesis of controllers ; day:23 ; month:3 ; year:2020 ; pages:1-41
Formal aspects of computing ; (23.3.2020), 1-41
- Classification
-
Elektrotechnik, Elektronik
- Creator
-
Bersani, Marcello M.
Soldo, Matteo
Menghi, Claudio
Pelliccione, Patrizio
Rossi, Matteo
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s00165-020-00509-0
- URN
-
urn:nbn:de:101:1-2020061420065517629840
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:00 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Bersani, Marcello M.
- Soldo, Matteo
- Menghi, Claudio
- Pelliccione, Patrizio
- Rossi, Matteo
- SpringerLink (Online service)
Other Objects (12)
Human-Inspired Compliant Controllers for Robotic Assembly
Formal specification and synthesis of procedural controllers for process systems
Robot controllers for highly dynamic environments with real-time constraints
Auto-tuning of PID Controllers for Robotic Manipulators Using PSO and MOPSO
Algebraic specification techniques in object oriented programming environments
Berufsbild des Controllers
An integrated formal task specification method for smart environments
An Integrated Formal Task Specification Method for Smart Environments
Vision-Based Autonomous Robotic Floor Cleaning in Domestic Environments
EDV-Instrument des Controllers
Vereinsregisterakte: Controllers Flying Club
Synthesizing optimally resilient controllers
Human-Inspired Compliant Controllers for Robotic Assembly
Formal specification and synthesis of procedural controllers for process systems
Robot controllers for highly dynamic environments with real-time constraints
Auto-tuning of PID Controllers for Robotic Manipulators Using PSO and MOPSO
Algebraic specification techniques in object oriented programming environments
Berufsbild des Controllers
An integrated formal task specification method for smart environments
An Integrated Formal Task Specification Method for Smart Environments
Vision-Based Autonomous Robotic Floor Cleaning in Domestic Environments
EDV-Instrument des Controllers
Vereinsregisterakte: Controllers Flying Club
Synthesizing optimally resilient controllers
Human-Inspired Compliant Controllers for Robotic Assembly
Formal specification and synthesis of procedural controllers for process systems
Robot controllers for highly dynamic environments with real-time constraints
Auto-tuning of PID Controllers for Robotic Manipulators Using PSO and MOPSO
Algebraic specification techniques in object oriented programming environments
Berufsbild des Controllers
An integrated formal task specification method for smart environments
An Integrated Formal Task Specification Method for Smart Environments
Vision-Based Autonomous Robotic Floor Cleaning in Domestic Environments
EDV-Instrument des Controllers
Vereinsregisterakte: Controllers Flying Club