Networked Embedded Control Systems: from Modelling to Implementation
Networked Embedded Control Systems are distributed control systems where the communication among plants, sensors, actuators and controllers occurs in a shared network. They have been the subject of intensive study in the last few years. In this paper we survey our contribution to this research topic...
Saved in:
| Published in | Electronic proceedings in theoretical computer science Vol. 124; no. Proc. HAS 2013; pp. 9 - 13 |
|---|---|
| Main Authors | , |
| Format | Journal Article |
| Language | English |
| Published |
Open Publishing Association
22.08.2013
|
| Online Access | Get full text |
| ISSN | 2075-2180 2075-2180 |
| DOI | 10.4204/EPTCS.124.3 |
Cover
| Abstract | Networked Embedded Control Systems are distributed control systems where the communication among plants, sensors, actuators and controllers occurs in a shared network. They have been the subject of intensive study in the last few years. In this paper we survey our contribution to this research topic. |
|---|---|
| AbstractList | Networked Embedded Control Systems are distributed control systems where the communication among plants, sensors, actuators and controllers occurs in a shared network. They have been the subject of intensive study in the last few years. In this paper we survey our contribution to this research topic. |
| Author | Di Benedetto, Maria Domenica Pola, Giordano |
| Author_xml | – sequence: 1 givenname: Maria Domenica surname: Di Benedetto fullname: Di Benedetto, Maria Domenica organization: University of L'Aquila – sequence: 2 givenname: Giordano surname: Pola fullname: Pola, Giordano organization: University of L'Aquila |
| BookMark | eNpNkF1LwzAUhoNMcM5d-Qd6L53NV9N4J7XqYH7A5nVIk5PR2TYjDcj-vXUT8dy8D-_FA-e9RJPe94DQNc4WjGTstnrflOsFJmxBz9CUZIKnBBfZ5B9foPkw7LLxqCRM5lP08Arxy4dPsEnV1WDtCKXvY_Btsj4MEbrhLnHBd8mLt9C2Tb9Nok-W3b6FDvqoY-P7K3TudDvA_Ddn6OOx2pTP6ertaVner1JDuIipYYDBgCAyr61k2hphDK15QQqNGTF47GtBBHUW55zWkljBR84oBSZrTWdoefJar3dqH5pOh4PyulHHwoet0iE2pgVFZS5wLrkpiGVu_NVJZ6UwnJqcWY5H183JZYIfhgDuz4cz9bOnOu6pxj0Vpd_htGl4 |
| Cites_doi | 10.1109/TAC.2011.2164740 10.1109/TAC.2007.895849 10.1109/TAC.2006.876952 10.1007/978-3-642-00602-9/22 10.1016/j.jco.2004.09.003 10.1023/A:1013339920783 10.1109/TAC.2006.886494 10.1145/2185632.2185670 10.1016/j.sysconle.2010.04.001 10.1109/TAC.2006.884957 10.1109/9.989067 10.1109/9.995034 10.1007/PL00009858 10.1109/TAC.2011.2176409 10.1109/TAC.2009.2034922 10.1109/TAC.2006.876964 10.1016/S0005-1098(02)00023-7 10.1109/9.664153 10.1006/jcss.1998.1581 10.1109/CDC.2012.6426158 10.1137/070698580 10.1016/j.automatica.2008.02.021 10.1007/BFb0017309 10.1007/BFb0055622 10.1109/5.871307 10.1051/cocv:2004006 10.1007/BFb0032042 |
| ContentType | Journal Article |
| DBID | AAYXX CITATION DOA |
| DOI | 10.4204/EPTCS.124.3 |
| DatabaseName | CrossRef DOAJ Directory of Open Access Journals |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: DOA name: DOAJ Directory of Open Access Journals url: https://www.doaj.org/ sourceTypes: Open Website |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 2075-2180 |
| EndPage | 13 |
| ExternalDocumentID | oai_doaj_org_article_39671695c82d4f249f9fd97c53c64d51 10_4204_EPTCS_124_3 |
| GroupedDBID | 5VS AAYXX ADBBV ALMA_UNASSIGNED_HOLDINGS BCNDV CITATION E3Z GROUPED_DOAJ KQ8 M~E OK1 |
| ID | FETCH-LOGICAL-c257t-c4e1ece7296bd94adc7cc3b5828a142c196bb7273fd1653b92d75fd1033e49ba3 |
| IEDL.DBID | DOA |
| ISSN | 2075-2180 |
| IngestDate | Wed Aug 27 01:04:35 EDT 2025 Tue Jul 01 00:52:10 EDT 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | true |
| Issue | Proc. HAS 2013 |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c257t-c4e1ece7296bd94adc7cc3b5828a142c196bb7273fd1653b92d75fd1033e49ba3 |
| OpenAccessLink | https://doaj.org/article/39671695c82d4f249f9fd97c53c64d51 |
| PageCount | 5 |
| ParticipantIDs | doaj_primary_oai_doaj_org_article_39671695c82d4f249f9fd97c53c64d51 crossref_primary_10_4204_EPTCS_124_3 |
| ProviderPackageCode | CITATION AAYXX |
| PublicationCentury | 2000 |
| PublicationDate | 2013-08-22 |
| PublicationDateYYYYMMDD | 2013-08-22 |
| PublicationDate_xml | – month: 08 year: 2013 text: 2013-08-22 day: 22 |
| PublicationDecade | 2010 |
| PublicationTitle | Electronic proceedings in theoretical computer science |
| PublicationYear | 2013 |
| Publisher | Open Publishing Association |
| Publisher_xml | – name: Open Publishing Association |
| References | Reißig (gunther) 2009; 5469 Tabuada (TabuadaLTL) 2006; 51 Habets (habets) 2006; 51 Forstner (forstner) 2002; 38 Junge (junge1) 2004; 10 Milner (Milner) 1989 Belta (BH06) 2006; 51 Alur (Alternating) 1998; 1466 Bicchi (BMP02) 2002; 47 Borri (BorriHSCC12) 2012 Angeli (IncrementalS) 2002; 47 Caines (caines) 1998; 43 Koutsoukos (koutsoukos) 2000; 88 Zamani (MajidTAC11) 2012; 57 Pola (PolaAutom2008) 2008; 44 Pola (PolaTAC12) 2012; 57 Alur (alur) 1990; 443 Henzinger (puri) 1998; 57 Pola (PolaSCL10) 2010; 59 Egerstedt (TACsymbolicmodels) 2006; 51 Pola (PolaSIAM2009) 2009; 48 Girard (AB-TAC07) 2007; 52 Lafferriere (lafferriere) 2000; 13 Park (Park) 1981; 104 Borri (BorriCDC2012) 2012 Brihaye (brihaye) 2005; 21 Girard (GirardTAC2010) 2010; 55 Moor (moor) 2002; 12 |
| References_xml | – volume: 57 start-page: 534 issue: 2 year: 2012 ident: PolaTAC12 article-title: Integrated Design of Symbolic Controllers for Nonlinear Systems publication-title: IEEE Transactions on Automatic Control doi: 10.1109/TAC.2011.2164740 – volume: 52 start-page: 782 issue: 5 year: 2007 ident: AB-TAC07 article-title: Approximation Metrics for Discrete and Continuous Systems publication-title: IEEE Transactions on Automatic Control doi: 10.1109/TAC.2007.895849 – volume: 51 start-page: 938 issue: 6 year: 2006 ident: habets article-title: Reachability and control synthesis for piecewise-affine hybrid systems on simplices publication-title: IEEE Transactions on Automatic Control doi: 10.1109/TAC.2006.876952 – volume: 5469 start-page: 306 year: 2009 ident: gunther article-title: Computation of discrete abstractions of arbitrary memory span for nonlinear sampled systems publication-title: in Proc. of 12th Int. Conf. Hybrid Systems: Computation and Control (HSCC) doi: 10.1007/978-3-642-00602-9/22 – volume: 21 start-page: 447 issue: 4 year: 2005 ident: brihaye article-title: On the expressiveness and decidability of o-minimal hybrid systems publication-title: Journal of Complexity doi: 10.1016/j.jco.2004.09.003 – volume: 12 start-page: 83 year: 2002 ident: moor article-title: Discrete supervisory control of hybrid systems based on l-complete approximations publication-title: Journal of Discrete Event Dynamic Systems doi: 10.1023/A:1013339920783 – volume: 51 start-page: 1862 issue: 12 year: 2006 ident: TabuadaLTL article-title: Linear Time Logic Control of Discrete-Time Linear Systems publication-title: IEEE Transactions of Automatic Control doi: 10.1109/TAC.2006.886494 – start-page: 255 volume-title: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control year: 2012 ident: BorriHSCC12 article-title: A symbolic approach to the design of nonlinear networked control systems doi: 10.1145/2185632.2185670 – volume: 59 start-page: 365 year: 2010 ident: PolaSCL10 article-title: Symbolic models for nonlinear time-delay systems using approximate bisimulations publication-title: Systems and Control Letters doi: 10.1016/j.sysconle.2010.04.001 – volume: 51 start-page: 1749 issue: 11 year: 2006 ident: BH06 article-title: Controlling a class of nonlinear systems on rectangles publication-title: IEEE Transactions on Automatic Control doi: 10.1109/TAC.2006.884957 – volume: 47 start-page: 410 issue: 3 year: 2002 ident: IncrementalS article-title: A Lyapunov approach to incremental stability properties publication-title: IEEE Transactions on Automatic Control doi: 10.1109/9.989067 – volume: 47 start-page: 546 issue: 4 year: 2002 ident: BMP02 article-title: On the reachability of quantized control systems publication-title: IEEE Transactions on Automatic Control doi: 10.1109/9.995034 – volume: 13 start-page: 1 year: 2000 ident: lafferriere article-title: O-minimal hybrid systems publication-title: Math. Control Signal Systems doi: 10.1007/PL00009858 – volume: 57 start-page: 1804 issue: 7 year: 2012 ident: MajidTAC11 article-title: Symbolic models for nonlinear control systems without stability assumptions publication-title: IEEE Transactions of Automatic Control doi: 10.1109/TAC.2011.2176409 – volume: 55 start-page: 116 issue: 1 year: 2010 ident: GirardTAC2010 article-title: Approximately bisimilar symbolic models for incrementally stable switched systems publication-title: IEEE Transactions of Automatic Control doi: 10.1109/TAC.2009.2034922 – volume: 51 issue: 6 year: 2006 ident: TACsymbolicmodels publication-title: IEEE Transactions of Automatic Control doi: 10.1109/TAC.2006.876964 – volume: 38 start-page: 1277 year: 2002 ident: forstner article-title: A discrete-event model of asynchronous quantised systems publication-title: Automatica doi: 10.1016/S0005-1098(02)00023-7 – volume: 43 start-page: 501 issue: 4 year: 1998 ident: caines article-title: Hierarchical hybrid control systems: A lattice-theoretic formulation publication-title: Special Issue on Hybrid Systems, IEEE Transaction on Automatic Control doi: 10.1109/9.664153 – volume: 57 start-page: 94 year: 1998 ident: puri article-title: What's decidable about hybrid automata? publication-title: Journal of Computer and System Sciences doi: 10.1006/jcss.1998.1581 – start-page: 1374 volume-title: 51th IEEE Conference on Decision and Control year: 2012 ident: BorriCDC2012 article-title: Integrated Symbolic Design of Unstable Nonlinear Networked Control Systems doi: 10.1109/CDC.2012.6426158 – volume: 48 start-page: 719 issue: 2 year: 2009 ident: PolaSIAM2009 article-title: Symbolic models for nonlinear control systems: Alternating approximate bisimulations publication-title: SIAM Journal on Control and Optimization doi: 10.1137/070698580 – volume: 44 start-page: 2508 year: 2008 ident: PolaAutom2008 article-title: Approximately bisimilar symbolic models for nonlinear control systems publication-title: Automatica doi: 10.1016/j.automatica.2008.02.021 – volume-title: Communication and Concurrency year: 1989 ident: Milner – volume: 104 start-page: 167 year: 1981 ident: Park article-title: Concurrency and automata on infinite sequences doi: 10.1007/BFb0017309 – volume: 1466 start-page: 163 volume-title: Proceedings of the 8th International Conference on Concurrence Theory year: 1998 ident: Alternating article-title: Alternating refinement relations doi: 10.1007/BFb0055622 – volume: 88 start-page: 1026 issue: 7 year: 2000 ident: koutsoukos article-title: Supervisory Control of Hybrid Systems publication-title: Proceedings of the IEEE doi: 10.1109/5.871307 – volume: 10 start-page: 259 issue: 2 year: 2004 ident: junge1 article-title: A set oriented approach to global optimal control publication-title: ESAIM: Control, optimisation and calculus of variations doi: 10.1051/cocv:2004006 – volume: 443 start-page: 322 volume-title: Automata, Languages and Programming year: 1990 ident: alur doi: 10.1007/BFb0032042 |
| SSID | ssj0000392496 |
| Score | 1.8958609 |
| Snippet | Networked Embedded Control Systems are distributed control systems where the communication among plants, sensors, actuators and controllers occurs in a shared... |
| SourceID | doaj crossref |
| SourceType | Open Website Index Database |
| StartPage | 9 |
| Title | Networked Embedded Control Systems: from Modelling to Implementation |
| URI | https://doaj.org/article/39671695c82d4f249f9fd97c53c64d51 |
| Volume | 124 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV07T8MwELZQJxbeiPKSh65u_UqC2SC0qhgqJFqpm-VXtqYIhf_P2U5RmVjYrCiKos8533fK3fchNJJeOUaFJ4ybQICBO2IYrHxjheBAyCHYY7fFopyv5Ou6WO9ZfcWesCwPnIGbCFVGQZfCPXAvGygWGtV4VblCuFL6NDzNqaJ7xVQ6g0WsK5KzHOREAnmM5uE8yamcTN-W9fsYMttY_EpHe6r9Kb3MTtBRzwvxU36fU3QQ2jN0vPNcwH0InqOXRe7bDh5PNzbAseFxndvNca8-_ojjzAiOLmdJcBt3W5xEgDf9nFF7gVaz6bKek94JgTgIqY44GVhwAYhwab2SxrvKOWHjLy_DJHcQRtZGJtJ4VhbCKu6rAtZUiCCVNeISDdptG64QrpyUwvBADVMS2JNihQ3MRhkyZ4LkQzTaAaI_suCFhkIh4qYTbhpw02KIniNYP7dElep0AfZO93un_9q76_94yA065MmiAiKe36JB9_kV7oAodPY-fRPftv642g |
| linkProvider | Directory of Open Access Journals |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Networked+Embedded+Control+Systems%3A+from+Modelling+to+Implementation&rft.jtitle=Electronic+proceedings+in+theoretical+computer+science&rft.au=Maria+Domenica+Di+Benedetto&rft.au=Giordano+Pola&rft.date=2013-08-22&rft.pub=Open+Publishing+Association&rft.issn=2075-2180&rft.eissn=2075-2180&rft.volume=124&rft.issue=Proc.+HAS+2013&rft.spage=9&rft.epage=13&rft_id=info:doi/10.4204%2FEPTCS.124.3&rft.externalDBID=DOA&rft.externalDocID=oai_doaj_org_article_39671695c82d4f249f9fd97c53c64d51 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2075-2180&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2075-2180&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2075-2180&client=summon |