DK3633468T3 - Fordelt automatiseret syntese af konstruktions-ledsagende korrektur-styreapparater (controllere) - Google Patents
Fordelt automatiseret syntese af konstruktions-ledsagende korrektur-styreapparater (controllere) Download PDFInfo
- Publication number
- DK3633468T3 DK3633468T3 DK18198616.7T DK18198616T DK3633468T3 DK 3633468 T3 DK3633468 T3 DK 3633468T3 DK 18198616 T DK18198616 T DK 18198616T DK 3633468 T3 DK3633468 T3 DK 3633468T3
- Authority
- DK
- Denmark
- Prior art keywords
- controllers
- construction
- accompanying
- control devices
- automated synthesis
- Prior art date
Links
Classifications
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B19/00—Programme-control systems
- G05B19/02—Programme-control systems electric
- G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
- G05B19/042—Programme control other than numerical control, i.e. in sequence controllers or logic controllers using digital processors
- G05B19/0426—Programming the control sequence
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/10—Complex mathematical operations
- G06F17/11—Complex mathematical operations for solving equations, e.g. nonlinear equations, general mathematical optimization problems
- G06F17/13—Differential equations
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B2219/00—Program-control systems
- G05B2219/20—Pc systems
- G05B2219/24—Pc safety
- G05B2219/24168—Identify connected programmer to allow control, program entry
Landscapes
- Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- General Engineering & Computer Science (AREA)
- Mathematical Physics (AREA)
- Mathematical Analysis (AREA)
- Computational Mathematics (AREA)
- Mathematical Optimization (AREA)
- Pure & Applied Mathematics (AREA)
- Data Mining & Analysis (AREA)
- Automation & Control Theory (AREA)
- Operations Research (AREA)
- Algebra (AREA)
- Databases & Information Systems (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
- Feedback Control In General (AREA)
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| EP18198616.7A EP3633468B1 (en) | 2018-10-04 | 2018-10-04 | Distributed automated synthesis of correct-by-construction controllers |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| DK3633468T3 true DK3633468T3 (da) | 2022-02-07 |
Family
ID=64017240
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| DK18198616.7T DK3633468T3 (da) | 2018-10-04 | 2018-10-04 | Fordelt automatiseret syntese af konstruktions-ledsagende korrektur-styreapparater (controllere) |
Country Status (4)
| Country | Link |
|---|---|
| US (1) | US11709471B2 (da) |
| EP (1) | EP3633468B1 (da) |
| DK (1) | DK3633468T3 (da) |
| WO (1) | WO2020070206A1 (da) |
Family Cites Families (9)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US8793275B1 (en) * | 2002-02-05 | 2014-07-29 | G&H Nevada-Tek | Method, apparatus and system for distributing queries and actions |
| JP4209373B2 (ja) * | 2003-10-13 | 2009-01-14 | エーエスエムエル ネザーランズ ビー．ブイ． | リソグラフィ装置またはリソグラフィ処理セルの作動方法、リソグラフィ装置およびリソグラフィ処理セル |
| US8166459B2 (en) * | 2008-02-27 | 2012-04-24 | Sap Ag | Apparatus and method of generating self-debugging computer software |
| WO2011015222A1 (en) * | 2009-07-15 | 2011-02-10 | Proviciel - Mlstate | System and method for creating a parser generator and associated computer program |
| US9330119B2 (en) * | 2013-04-11 | 2016-05-03 | Oracle International Corporation | Knowledge intensive data management system for business process and case management |
| US9471080B2 (en) * | 2013-10-21 | 2016-10-18 | Restore Nv | Portfolio managed, demand-side response system |
| US9645577B1 (en) | 2016-03-23 | 2017-05-09 | nuTonomy Inc. | Facilitating vehicle driving and self-driving |
| US10303166B2 (en) | 2016-05-23 | 2019-05-28 | nuTonomy Inc. | Supervisory control of vehicles |
| US10829116B2 (en) | 2016-07-01 | 2020-11-10 | nuTonomy Inc. | Affecting functions of a vehicle based on function-related information about its environment |
-
2018
- 2018-10-04 DK DK18198616.7T patent/DK3633468T3/da active
- 2018-10-04 EP EP18198616.7A patent/EP3633468B1/en active Active
-
2019
- 2019-10-02 WO PCT/EP2019/076738 patent/WO2020070206A1/en active Application Filing
- 2019-10-02 US US17/281,568 patent/US11709471B2/en active Active
Also Published As
| Publication number | Publication date |
|---|---|
| EP3633468A1 (en) | 2020-04-08 |
| WO2020070206A1 (en) | 2020-04-09 |
| EP3633468B1 (en) | 2021-12-22 |
| US11709471B2 (en) | 2023-07-25 |
| US20210389743A1 (en) | 2021-12-16 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| MA46725A (fr) | Commande de zones de production agricoles | |
| CL2018002392S1 (es) | Control remoto | |
| DK3439732T3 (da) | Forbedret feedbackkontrol af neuromodulation | |
| DK3428767T3 (da) | Automatisering af styreforstærkning | |
| DK3376859T3 (da) | Mikroorganismer til fremstilling af insektferomoner og relaterede forbindelser | |
| DK3398019T3 (da) | Fremgangsmåder og systemer til bevægelsesstyring af flyvende indretninger | |
| DK3698082T3 (da) | Fremgangsmåde og system til styring af funktionalitet af belysningsindretninger | |
| DK3287523T3 (da) | Fremgangsmåde til sekretorisk fremstilling af protein | |
| DK3498933T3 (da) | System til montering af en flerhed af paneler | |
| DK3403376T3 (da) | Forbedringer af kommunikationssystemer til fjernindretningsstyring | |
| DK3415296T3 (da) | Indretning til fremstilling af gipsbaseret plade | |
| DK3818047T3 (da) | Hidtil ukendte forbindelser til bekæmpelse af arthropoder | |
| CL2018002393S1 (es) | Control remoto | |
| DK3636640T3 (da) | Krystal af heterocyclidenacetamidderivat | |
| DK3141971T3 (da) | Opsætning af ventilstyreenhed | |
| DK3452425T3 (da) | Anlæg og fremgangsmåde til fremstilling af et bindemiddel | |
| DK3424122T3 (da) | Strømstyring af et mikronet | |
| DK3548626T3 (da) | Fremgangsmåde til fremstilling af biogas af fiberholdigt substrat | |
| DK3713513T3 (da) | Fremgangsmåde til fremstilling af en protesedel | |
| DK3600808T3 (da) | System til applicering af et byggemateriale | |
| DK3707694T3 (da) | System til simulering af et kirurgisk indgreb | |
| DK3283691T3 (da) | Modulær struktur til installering af en kunstig spillebane | |
| DK3700941T3 (da) | Fremgangsmåde til fremstilling af modificeret hemicellulose | |
| DK3519381T3 (da) | Fremgangsmåde til fremstilling af calciumdiglyceroxid | |
| DK3264559T3 (da) | Styringsbetjening af en effektomformer baseret på netbetingelser |