|
|
|
|
| LEADER |
11477cam a2201381 4500 |
| 001 |
183-595123171 |
| 003 |
DE-627 |
| 005 |
20240214204638.0 |
| 007 |
cr uuu---uuuuu |
| 008 |
090328s1996 gw |||||o 00| ||eng c |
| 020 |
|
|
|a 9783540493587
|9 978-3-540-49358-7
|
| 024 |
7 |
|
|a 10.1007/BFb0034745
|2 doi
|
| 035 |
|
|
|a (DE-627)595123171
|
| 035 |
|
|
|a (DE-576)959512317X
|
| 035 |
|
|
|a (DE-599)GBV595123171
|
| 035 |
|
|
|a (OCoLC)845512381
|
| 035 |
|
|
|a (DE-601)NLM003715922
|
| 035 |
|
|
|a (DE-He213)978-3-540-49358-7
|
| 035 |
|
|
|a (EBP)040482936
|
| 040 |
|
|
|a DE-627
|b ger
|c DE-627
|e rakwb
|
| 041 |
|
|
|a eng
|
| 044 |
|
|
|c XA-DE-BE
|
| 050 |
|
0 |
|a TA345
|
| 072 |
|
7 |
|a UGC
|2 bicssc
|
| 072 |
|
7 |
|a COM007000
|2 bisacsh
|
| 084 |
|
|
|a 28
|2 sdnb
|
| 084 |
|
|
|a SS 4800
|q SEPA
|2 rvk
|0 (DE-625)rvk/143528:
|
| 084 |
|
|
|a 30.10
|2 bkl
|
| 084 |
|
|
|a 50.23
|2 bkl
|
| 084 |
|
|
|a 53.71
|2 bkl
|
| 084 |
|
|
|a 54.80
|2 bkl
|
| 245 |
1 |
0 |
|a Computer aided systems theory - EUROCAST '95
|b a selection of papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22 - 25, 1995 ; proceedings
|c F. Pichler ... (eds.)
|
| 264 |
|
1 |
|a Berlin [u.a.]
|b Springer
|c 1996
|
| 300 |
|
|
|a Online-Ressource (X, 538 S.)
|
| 336 |
|
|
|a Text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a Computermedien
|b c
|2 rdamedia
|
| 338 |
|
|
|a Online-Ressource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Lecture notes in computer science
|v 1030
|
| 500 |
|
|
|a Literaturangaben
|
| 520 |
|
|
|a On the structure of discrete systems -- Identification and recognition through shape in complex systems -- A logical approach to system construction -- Task management system -- Toward a unified theory of discrete event systems -- Intersensorial transformations: General systems description and implications -- Proving system properties by means of trigger-graph and Petri nets -- Refinement mapping for general (discrete event) systems theory -- A system-theoretic approach to planning and programming -- Equality of functions in CAST -- Basins of attraction estimation through symbolic graphical computing techniques -- Temporal and functional verification of a symbolic representation of complex systems -- Modelling differential equations by basic information technology means -- System theoretic aspects of software architectures -- A language for describing complex-evolutive software systems -- An architecture for process modelling and execution support -- A formal semantics for a graphical model representation in system design -- A user-interface for a microsystems high-level simulator -- CAST extensions to DASME to support Generalized Information Theory -- Symbolic computing aided design of nonlinear PID controllers -- Discrete Event simulation in an environment for Temporal Expert Systems -- TOMSPIN — a tool for modelling with stochastic petri nets -- Hybrid evolutionary programming: The tools for CAST -- Automatic induction of DEVS structures -- Systems Engineering and infrastructures for open computer based systems -- Object-oriented high level modeling of complex systems -- Multifacetted, object oriented modeling in the transportation domain -- EaSy-Sim: A tool environment for the design of complex, real-time systems -- Systems level specification and modelling of reactive systems: Concepts, methods, and tools -- DEVS-based endomorphic agents: Control through deliberative and reactive planning -- Software processes, work flow and work cell design — Separated by a common paradigm? -- High-performance parallel computing for analyzing urban air pollution -- Performance analysis of a dual robot system using a geometric concurrency model -- Computer aided rule extraction from examples -- Cast methods for generation of non-orthogonal complete transforms -- Cast system approach for visual inspection -- Finite dimensional generalized baker dynamical systems for cryptographic applications -- of the Aristotle's final causation in CAST concept and method of incursion and hyperincursion -- A semantic logic for CAST related to Zuse, Deutsch and McCulloch and Pitts computing principles -- Validation of a model of an AGVs scheduling heuristic using radio-taxi data -- Training simulator for Garoña Nuclear Power Plant -- Supervisory control and data acquisition system for the gas flow networks.
|
| 520 |
|
|
|a This book presents a collection of revised refereed papers selected from the contributions to the Fifth International Workshop on Computer Aided Systems Theory, EUROCAST '95, held in Innsbruck, Austria in May 1995. The 42 full papers contained have been contributed by CAST theoreticians, tool-makers, designers, and appliers and reflect the full spectrum of activities in the area. The papers are organized in sections on systems theory, design environments, complex systems design, and specific applications.
|
| 533 |
|
|
|a Online-Ausg.
|b Berlin [u.a.]
|c Springer
|d 2006
|f Springer Lecture Notes Archive
|7 |2006||||||||||
|
| 650 |
|
0 |
|a Computer-aided design
|x Congresses
|
| 650 |
|
0 |
|a Software engineering
|
| 650 |
|
0 |
|a Computer science
|
| 650 |
|
0 |
|a Artificial intelligence
|
| 650 |
|
0 |
|a Computer simulation
|
| 650 |
|
0 |
|a Computer-aided engineering.
|
| 650 |
|
0 |
|a Microprocessors.
|
| 650 |
|
0 |
|a Computer architecture.
|
| 650 |
|
0 |
|a Computers, Special purpose.
|
| 650 |
|
4 |
|a Simulation and Modeling
|
| 650 |
|
4 |
|a Computer Science
|
| 650 |
|
4 |
|a Processor Architectures
|
| 650 |
|
4 |
|a Artificial Intelligence (incl. Robotics)
|
| 650 |
|
4 |
|a Computer-Aided Engineering (CAD, CAE) and Design
|
| 650 |
|
4 |
|a Special Purpose and Application-Based Systems
|
| 655 |
|
7 |
|a Konferenzschrift
|y 1995
|z Innsbruck
|0 (DE-588)1071861417
|0 (DE-627)826484824
|0 (DE-576)433375485
|2 gnd-content
|
| 689 |
0 |
0 |
|D s
|0 (DE-588)4234274-0
|0 (DE-627)104910992
|0 (DE-576)210379073
|a CAST
|2 gnd
|
| 689 |
0 |
|
|5 DE-101
|
| 700 |
1 |
|
|a Pichler, Franz
|4 oth
|
| 711 |
2 |
|
|a EUROCAST
|n 5
|d 1995
|c Innsbruck
|0 (DE-588)2152314-9
|0 (DE-627)191007005
|0 (DE-576)195604482
|4 oth
|
| 776 |
1 |
|
|z 354060748X
|
| 776 |
1 |
|
|z 9783540607489
|
| 776 |
0 |
8 |
|i Druckausg.
|t Computer aided systems theory
|d Berlin [u.a.] : Springer, 1996
|h X, 538 S.
|w (DE-627)272034223
|w (DE-576)050261770
|z 354060748X
|
| 830 |
|
0 |
|a Lecture notes in computer science
|v 1030
|9 103000
|w (DE-627)316228877
|w (DE-576)093890923
|w (DE-600)2018930-8
|x 1611-3349
|7 ns
|
| 856 |
4 |
0 |
|u http://www.springerlink.com/content/u305740nm274
|x Verlag
|z lizenzpflichtig
|3 Volltext
|
| 856 |
4 |
0 |
|u http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-60748-9
|x Verlag
|z lizenzpflichtig
|3 Volltext
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/BFb0034745
|x Resolving-System
|z lizenzpflichtig
|3 Volltext
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/BFb0034745
|m X:SPRINGER
|x Resolving-System
|z lizenzpflichtig
|
| 912 |
|
|
|a ZDB-1-SLN
|
| 912 |
|
|
|a ZDB-2-LNC
|b 1996
|
| 912 |
|
|
|a ZDB-2-SCS
|b 1996
|
| 912 |
|
|
|a ZDB-2-BAE
|b 1996
|
| 912 |
|
|
|a ZDB-2-SXCS
|b 1996
|
| 912 |
|
|
|a ZDB-2-SEB
|b 1996
|
| 912 |
|
|
|a SSG-OPC-mat
|
| 924 |
1 |
|
|a 1221295039
|b DE-1a
|9 1a
|c GBV
|d d
|h 5:INTERN
|k http://erf.sbb.spk-berlin.de/han/512881081/dx.doi.org/10.1007/BFb0034745
|
| 924 |
1 |
|
|a 202663507
|b DE-84
|9 84
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0034745
|
| 924 |
1 |
|
|a 201773740
|b DE-46
|9 46
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0034745
|
| 924 |
1 |
|
|a 1162767251
|b DE-18
|9 18
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0034745
|k http://emedien.sub.uni-hamburg.de/han/SpringerEbooks/dx.doi.org/10.1007/BFb0034745
|
| 924 |
1 |
|
|a 202422755
|b DE-830
|9 830
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0034745
|
| 924 |
1 |
|
|a 202687171
|b DE-8
|9 8
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0034745
|
| 924 |
1 |
|
|a 3503723358
|b DE-104
|9 104
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0034745
|
| 924 |
1 |
|
|a 1114760226
|b DE-27
|9 27
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0034745
|
| 924 |
1 |
|
|a 202728323
|b DE-Ilm1
|9 Ilm 1
|c GBV
|d d
|g Online-Ressource
|h Internet
|
| 924 |
1 |
|
|a 1273480147
|b DE-7
|9 7
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0034745
|k http://han.sub.uni-goettingen.de/han/SpringerLectureNotesinComputerScience/dx.doi.org/10.1007/BFb0034745
|
| 924 |
1 |
|
|a 1159764298
|b DE-705
|9 705
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0034745
|
| 924 |
1 |
|
|a 202639827
|b DE-28
|9 28
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0034745
|
| 924 |
1 |
|
|a 202699005
|b DE-Wim2
|9 Wim 2
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0034745
|
| 924 |
1 |
|
|a 202627985
|b DE-3
|9 3
|c GBV
|d d
|g ebook
|k http://dx.doi.org/10.1007/BFb0034745
|
| 924 |
1 |
|
|a 1173493123
|b DE-9
|9 9
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0034745
|
| 924 |
1 |
|
|a 1670353567
|b DE-95
|9 95
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0034745
|
| 924 |
1 |
|
|a 119643736X
|b DE-Ma9
|9 Ma 9
|c GBV
|d d
|g ebook SpringerLectureNotes
|k http://dx.doi.org/10.1007/BFb0034745
|k http://han.med.uni-magdeburg.de/han/NLUNIeBookSpringerLectureNotes/dx.doi.org/10.1007/BFb0034745
|
| 924 |
1 |
|
|a 1196473854
|b DE-Ma14
|9 Ma 14
|c GBV
|d d
|g ebook SpringerLectureNotes
|k http://dx.doi.org/10.1007/BFb0034745
|k http://han.med.uni-magdeburg.de/han/NLUNIeBookSpringerLectureNotes/dx.doi.org/10.1007/BFb0034745
|
| 924 |
1 |
|
|a 1217411372
|b DE-Luen4
|9 Lün 4
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0034745
|
| 924 |
1 |
|
|a 1586805193
|b DE-Kt1
|9 Kt 1
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0034745
|
| 924 |
1 |
|
|a 927642573
|b DE-715
|9 715
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0034745
|
| 924 |
1 |
|
|a 1753686113
|b DE-715
|9 715
|c GBV
|d d
|k http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991010446029703501
|l Springer Lecture Notes [Nationallizenz]
|l Campusweiter Zugriff (Universität Oldenburg). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden.
|
| 924 |
1 |
|
|a 202651665
|b DE-700
|9 700
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0034745
|
| 924 |
1 |
|
|a 3848422689
|b DE-Wis1
|9 Wis 1
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0034745
|
| 924 |
1 |
|
|a 1263871089
|b DE-755
|9 755
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0034745
|
| 924 |
1 |
|
|a 1172939764
|b DE-960
|9 960
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0034745
|
| 924 |
1 |
|
|a 203358333
|b DE-916
|9 916
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0034745
|
| 924 |
1 |
|
|a 1823524451
|b DE-Ki95
|9 Ki 95
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0034745
|
| 924 |
1 |
|
|a 1222073501
|b DE-H155
|9 H 155
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0034745
|
| 924 |
1 |
|
|a 202675335
|b DE-517
|9 517
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0034745
|
| 924 |
1 |
|
|a 1172977186
|b DE-960-3
|9 960/3
|c GBV
|d d
|k http://dx.doi.org/10.1007/BFb0034745
|
| 924 |
1 |
|
|a 4484386313
|b DE-14
|9 14
|c BSZ
|d d
|k https://doi.org/10.1007/BFb0034745
|
| 924 |
1 |
|
|a 4484386321
|b DE-576
|9 576
|c BSZ
|d d
|
| 924 |
1 |
|
|a 448434226X
|b DE-Ofb1
|9 Ofb 1
|c BSZ
|d d
|g E-Book Springer
|k https://doi.org/10.1007/BFb0034745
|l Zum Online-Dokument
|l Zugang im Hochschulnetz der HS Offenburg / extern via VPN oder Shibboleth (Login über Institution)
|
| 936 |
r |
v |
|a SS 4800
|b Lecture notes in computer science
|k Informatik
|k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen
|k Schriftenreihen (indiv. Sign.)
|k Lecture notes in computer science
|0 (DE-627)1271461242
|0 (DE-625)rvk/143528:
|0 (DE-576)201461242
|
| 936 |
b |
k |
|a 30.10
|j Systemtheorie
|x Naturwissenschaften allgemein
|0 (DE-627)106410555
|
| 936 |
b |
k |
|a 50.23
|j Regelungstechnik
|j Steuerungstechnik
|0 (DE-627)106421344
|
| 936 |
b |
k |
|a 53.71
|j Theoretische Nachrichtentechnik
|0 (DE-627)10641870X
|
| 936 |
b |
k |
|a 54.80
|j Angewandte Informatik
|0 (DE-627)106417967
|
| 951 |
|
|
|a BO
|
| 980 |
|
|
|a 595123171
|b 183
|c sid-183-col-kxpbbi
|
SOLR
| _version_ |
1797789803282956288 |
| author2 |
Pichler, Franz |
| author2_role |
oth |
| author2_variant |
f p fp |
| author_corporate |
EUROCAST |
| author_corporate_role |
oth |
| author_facet |
Pichler, Franz, EUROCAST |
| building |
Library A |
| callnumber-first |
T - Technology |
| callnumber-label |
TA345 |
| callnumber-raw |
TA345 |
| callnumber-search |
TA345 |
| callnumber-sort |
TA 3345 |
| callnumber-subject |
TA - General and Civil Engineering |
| collection |
ZDB-1-SLN, ZDB-2-LNC, ZDB-2-SCS, ZDB-2-BAE, ZDB-2-SXCS, ZDB-2-SEB, SSG-OPC-mat, sid-183-col-kxpbbi |
| contents |
On the structure of discrete systems -- Identification and recognition through shape in complex systems -- A logical approach to system construction -- Task management system -- Toward a unified theory of discrete event systems -- Intersensorial transformations: General systems description and implications -- Proving system properties by means of trigger-graph and Petri nets -- Refinement mapping for general (discrete event) systems theory -- A system-theoretic approach to planning and programming -- Equality of functions in CAST -- Basins of attraction estimation through symbolic graphical computing techniques -- Temporal and functional verification of a symbolic representation of complex systems -- Modelling differential equations by basic information technology means -- System theoretic aspects of software architectures -- A language for describing complex-evolutive software systems -- An architecture for process modelling and execution support -- A formal semantics for a graphical model representation in system design -- A user-interface for a microsystems high-level simulator -- CAST extensions to DASME to support Generalized Information Theory -- Symbolic computing aided design of nonlinear PID controllers -- Discrete Event simulation in an environment for Temporal Expert Systems -- TOMSPIN — a tool for modelling with stochastic petri nets -- Hybrid evolutionary programming: The tools for CAST -- Automatic induction of DEVS structures -- Systems Engineering and infrastructures for open computer based systems -- Object-oriented high level modeling of complex systems -- Multifacetted, object oriented modeling in the transportation domain -- EaSy-Sim: A tool environment for the design of complex, real-time systems -- Systems level specification and modelling of reactive systems: Concepts, methods, and tools -- DEVS-based endomorphic agents: Control through deliberative and reactive planning -- Software processes, work flow and work cell design — Separated by a common paradigm? -- High-performance parallel computing for analyzing urban air pollution -- Performance analysis of a dual robot system using a geometric concurrency model -- Computer aided rule extraction from examples -- Cast methods for generation of non-orthogonal complete transforms -- Cast system approach for visual inspection -- Finite dimensional generalized baker dynamical systems for cryptographic applications -- of the Aristotle's final causation in CAST concept and method of incursion and hyperincursion -- A semantic logic for CAST related to Zuse, Deutsch and McCulloch and Pitts computing principles -- Validation of a model of an AGVs scheduling heuristic using radio-taxi data -- Training simulator for Garoña Nuclear Power Plant -- Supervisory control and data acquisition system for the gas flow networks., This book presents a collection of revised refereed papers selected from the contributions to the Fifth International Workshop on Computer Aided Systems Theory, EUROCAST '95, held in Innsbruck, Austria in May 1995. The 42 full papers contained have been contributed by CAST theoreticians, tool-makers, designers, and appliers and reflect the full spectrum of activities in the area. The papers are organized in sections on systems theory, design environments, complex systems design, and specific applications. |
| ctrlnum |
(DE-627)595123171, (DE-576)959512317X, (DE-599)GBV595123171, (OCoLC)845512381, (DE-601)NLM003715922, (DE-He213)978-3-540-49358-7, (EBP)040482936 |
| doi_str_mv |
10.1007/BFb0034745 |
| era_facet |
1995 |
| facet_912a |
ZDB-1-SLN, ZDB-2-LNC, ZDB-2-SCS, ZDB-2-BAE, ZDB-2-SXCS, ZDB-2-SEB, SSG-OPC-mat |
| facet_avail |
Online |
| facet_local_del330 |
CAST |
| finc_class_facet |
Informatik, Technik |
| fincclass_txtF_mv |
science-computerscience, science, technology, engineering-electrical |
| footnote |
Literaturangaben |
| format |
eBook, ConferenceProceedings |
| format_access_txtF_mv |
Book, E-Book |
| format_de105 |
Ebook |
| format_de14 |
Book, E-Book |
| format_de15 |
Book, E-Book |
| format_del152 |
Buch |
| format_detail_txtF_mv |
text-online-monograph-independent-conference |
| format_dezi4 |
e-Book |
| format_finc |
Book, E-Book |
| format_legacy |
ElectronicBook |
| format_legacy_nrw |
Book, E-Book |
| format_nrw |
Book, E-Book |
| format_strict_txtF_mv |
E-Book |
| genre |
Konferenzschrift 1995 Innsbruck (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content |
| genre_facet |
Konferenzschrift |
| geogr_code |
not assigned |
| geogr_code_person |
not assigned |
| geographic_facet |
Innsbruck |
| hierarchy_parent_id |
183-316228877 |
| hierarchy_parent_title |
Lecture notes in computer science |
| hierarchy_sequence |
103000 |
| hierarchy_top_id |
183-316228877 |
| hierarchy_top_title |
Lecture notes in computer science |
| id |
183-595123171 |
| illustrated |
Not Illustrated |
| imprint |
Berlin [u.a.], Springer, 1996 |
| imprint_str_mv |
Berlin [u.a.]: Springer, 1996, Online-Ausg.: Berlin [u.a.]: Springer, 2006 |
| institution |
FID-BBI-DE-23 |
| is_hierarchy_id |
183-595123171 |
| is_hierarchy_title |
Computer aided systems theory - EUROCAST '95: a selection of papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22 - 25, 1995 ; proceedings |
| isbn |
9783540493587 |
| isbn_isn_mv |
354060748X, 9783540607489 |
| issn_isn_mv |
1611-3349 |
| language |
English |
| last_indexed |
2024-04-30T19:39:21.571Z |
| marc024a_ct_mv |
10.1007/BFb0034745 |
| marc_error |
[geogr_code]Unable to make public java.lang.AbstractStringBuilder java.lang.AbstractStringBuilder.append(java.lang.String) accessible: module java.base does not "opens java.lang" to unnamed module @64e01542 |
| match_str |
pichler1996computeraidedsystemstheoryeurocast95aselectionofpapersfromthefifthinternationalworkshoponcomputeraidedsystemstheoryinnsbruckaustriamay22251995proceedings |
| mega_collection |
K10plus Verbundkatalog, Springer Lecture Notes |
| multipart_link |
093890923 |
| multipart_part |
(093890923)1030 |
| oclc_num |
845512381 |
| physical |
Online-Ressource (X, 538 S.) |
| publishDate |
1996 |
| publishDateSort |
1996 |
| publishPlace |
Berlin [u.a.] |
| publisher |
Springer |
| record_format |
marcfinc |
| record_id |
595123171 |
| recordtype |
marcfinc |
| rvk_facet |
SS 4800 |
| rvk_label |
Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science |
| rvk_path |
SS, SQ - SU, SS 4000 - SS 5999, SS 4800 |
| rvk_path_str_mv |
SS, SQ - SU, SS 4000 - SS 5999, SS 4800 |
| series |
Lecture notes in computer science, 1030 |
| series2 |
Lecture notes in computer science ; 1030 |
| source_id |
183 |
| spelling |
Computer aided systems theory - EUROCAST '95 a selection of papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22 - 25, 1995 ; proceedings F. Pichler ... (eds.), Berlin [u.a.] Springer 1996, Online-Ressource (X, 538 S.), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture notes in computer science 1030, Literaturangaben, On the structure of discrete systems -- Identification and recognition through shape in complex systems -- A logical approach to system construction -- Task management system -- Toward a unified theory of discrete event systems -- Intersensorial transformations: General systems description and implications -- Proving system properties by means of trigger-graph and Petri nets -- Refinement mapping for general (discrete event) systems theory -- A system-theoretic approach to planning and programming -- Equality of functions in CAST -- Basins of attraction estimation through symbolic graphical computing techniques -- Temporal and functional verification of a symbolic representation of complex systems -- Modelling differential equations by basic information technology means -- System theoretic aspects of software architectures -- A language for describing complex-evolutive software systems -- An architecture for process modelling and execution support -- A formal semantics for a graphical model representation in system design -- A user-interface for a microsystems high-level simulator -- CAST extensions to DASME to support Generalized Information Theory -- Symbolic computing aided design of nonlinear PID controllers -- Discrete Event simulation in an environment for Temporal Expert Systems -- TOMSPIN — a tool for modelling with stochastic petri nets -- Hybrid evolutionary programming: The tools for CAST -- Automatic induction of DEVS structures -- Systems Engineering and infrastructures for open computer based systems -- Object-oriented high level modeling of complex systems -- Multifacetted, object oriented modeling in the transportation domain -- EaSy-Sim: A tool environment for the design of complex, real-time systems -- Systems level specification and modelling of reactive systems: Concepts, methods, and tools -- DEVS-based endomorphic agents: Control through deliberative and reactive planning -- Software processes, work flow and work cell design — Separated by a common paradigm? -- High-performance parallel computing for analyzing urban air pollution -- Performance analysis of a dual robot system using a geometric concurrency model -- Computer aided rule extraction from examples -- Cast methods for generation of non-orthogonal complete transforms -- Cast system approach for visual inspection -- Finite dimensional generalized baker dynamical systems for cryptographic applications -- of the Aristotle's final causation in CAST concept and method of incursion and hyperincursion -- A semantic logic for CAST related to Zuse, Deutsch and McCulloch and Pitts computing principles -- Validation of a model of an AGVs scheduling heuristic using radio-taxi data -- Training simulator for Garoña Nuclear Power Plant -- Supervisory control and data acquisition system for the gas flow networks., This book presents a collection of revised refereed papers selected from the contributions to the Fifth International Workshop on Computer Aided Systems Theory, EUROCAST '95, held in Innsbruck, Austria in May 1995. The 42 full papers contained have been contributed by CAST theoreticians, tool-makers, designers, and appliers and reflect the full spectrum of activities in the area. The papers are organized in sections on systems theory, design environments, complex systems design, and specific applications., Online-Ausg. Berlin [u.a.] Springer 2006 Springer Lecture Notes Archive |2006||||||||||, Computer-aided design Congresses, Software engineering, Computer science, Artificial intelligence, Computer simulation, Computer-aided engineering., Microprocessors., Computer architecture., Computers, Special purpose., Simulation and Modeling, Computer Science, Processor Architectures, Artificial Intelligence (incl. Robotics), Computer-Aided Engineering (CAD, CAE) and Design, Special Purpose and Application-Based Systems, Konferenzschrift 1995 Innsbruck (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4234274-0 (DE-627)104910992 (DE-576)210379073 CAST gnd, DE-101, Pichler, Franz oth, EUROCAST 5 1995 Innsbruck (DE-588)2152314-9 (DE-627)191007005 (DE-576)195604482 oth, 354060748X, 9783540607489, Druckausg. Computer aided systems theory Berlin [u.a.] : Springer, 1996 X, 538 S. (DE-627)272034223 (DE-576)050261770 354060748X, Lecture notes in computer science 1030 103000 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, http://www.springerlink.com/content/u305740nm274 Verlag lizenzpflichtig Volltext, http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-60748-9 Verlag lizenzpflichtig Volltext, http://dx.doi.org/10.1007/BFb0034745 Resolving-System lizenzpflichtig Volltext, https://doi.org/10.1007/BFb0034745 X:SPRINGER Resolving-System lizenzpflichtig |
| spellingShingle |
Computer aided systems theory - EUROCAST '95: a selection of papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22 - 25, 1995 ; proceedings, Lecture notes in computer science, 1030, On the structure of discrete systems -- Identification and recognition through shape in complex systems -- A logical approach to system construction -- Task management system -- Toward a unified theory of discrete event systems -- Intersensorial transformations: General systems description and implications -- Proving system properties by means of trigger-graph and Petri nets -- Refinement mapping for general (discrete event) systems theory -- A system-theoretic approach to planning and programming -- Equality of functions in CAST -- Basins of attraction estimation through symbolic graphical computing techniques -- Temporal and functional verification of a symbolic representation of complex systems -- Modelling differential equations by basic information technology means -- System theoretic aspects of software architectures -- A language for describing complex-evolutive software systems -- An architecture for process modelling and execution support -- A formal semantics for a graphical model representation in system design -- A user-interface for a microsystems high-level simulator -- CAST extensions to DASME to support Generalized Information Theory -- Symbolic computing aided design of nonlinear PID controllers -- Discrete Event simulation in an environment for Temporal Expert Systems -- TOMSPIN — a tool for modelling with stochastic petri nets -- Hybrid evolutionary programming: The tools for CAST -- Automatic induction of DEVS structures -- Systems Engineering and infrastructures for open computer based systems -- Object-oriented high level modeling of complex systems -- Multifacetted, object oriented modeling in the transportation domain -- EaSy-Sim: A tool environment for the design of complex, real-time systems -- Systems level specification and modelling of reactive systems: Concepts, methods, and tools -- DEVS-based endomorphic agents: Control through deliberative and reactive planning -- Software processes, work flow and work cell design — Separated by a common paradigm? -- High-performance parallel computing for analyzing urban air pollution -- Performance analysis of a dual robot system using a geometric concurrency model -- Computer aided rule extraction from examples -- Cast methods for generation of non-orthogonal complete transforms -- Cast system approach for visual inspection -- Finite dimensional generalized baker dynamical systems for cryptographic applications -- of the Aristotle's final causation in CAST concept and method of incursion and hyperincursion -- A semantic logic for CAST related to Zuse, Deutsch and McCulloch and Pitts computing principles -- Validation of a model of an AGVs scheduling heuristic using radio-taxi data -- Training simulator for Garoña Nuclear Power Plant -- Supervisory control and data acquisition system for the gas flow networks., This book presents a collection of revised refereed papers selected from the contributions to the Fifth International Workshop on Computer Aided Systems Theory, EUROCAST '95, held in Innsbruck, Austria in May 1995. The 42 full papers contained have been contributed by CAST theoreticians, tool-makers, designers, and appliers and reflect the full spectrum of activities in the area. The papers are organized in sections on systems theory, design environments, complex systems design, and specific applications., Computer-aided design Congresses, Software engineering, Computer science, Artificial intelligence, Computer simulation, Computer-aided engineering., Microprocessors., Computer architecture., Computers, Special purpose., Simulation and Modeling, Computer Science, Processor Architectures, Artificial Intelligence (incl. Robotics), Computer-Aided Engineering (CAD, CAE) and Design, Special Purpose and Application-Based Systems, Konferenzschrift 1995 Innsbruck, CAST |
| title |
Computer aided systems theory - EUROCAST '95: a selection of papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22 - 25, 1995 ; proceedings |
| title_auth |
Computer aided systems theory - EUROCAST '95 a selection of papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22 - 25, 1995 ; proceedings |
| title_full |
Computer aided systems theory - EUROCAST '95 a selection of papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22 - 25, 1995 ; proceedings F. Pichler ... (eds.) |
| title_fullStr |
Computer aided systems theory - EUROCAST '95 a selection of papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22 - 25, 1995 ; proceedings F. Pichler ... (eds.) |
| title_full_unstemmed |
Computer aided systems theory - EUROCAST '95 a selection of papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22 - 25, 1995 ; proceedings F. Pichler ... (eds.) |
| title_in_hierarchy |
1030. Computer aided systems theory - EUROCAST '95: a selection of papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22 - 25, 1995 ; proceedings (1996) |
| title_short |
Computer aided systems theory - EUROCAST '95 |
| title_sort |
computer aided systems theory - eurocast '95 a selection of papers from the fifth international workshop on computer aided systems theory, innsbruck, austria, may 22 - 25, 1995 ; proceedings |
| title_sub |
a selection of papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22 - 25, 1995 ; proceedings |
| title_unstemmed |
Computer aided systems theory - EUROCAST '95: a selection of papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22 - 25, 1995 ; proceedings |
| topic |
Computer-aided design Congresses, Software engineering, Computer science, Artificial intelligence, Computer simulation, Computer-aided engineering., Microprocessors., Computer architecture., Computers, Special purpose., Simulation and Modeling, Computer Science, Processor Architectures, Artificial Intelligence (incl. Robotics), Computer-Aided Engineering (CAD, CAE) and Design, Special Purpose and Application-Based Systems, Konferenzschrift 1995 Innsbruck, CAST |
| topic_facet |
Computer-aided design, Software engineering, Computer science, Artificial intelligence, Computer simulation, Computer-aided engineering., Microprocessors., Computer architecture., Computers, Special purpose., Simulation and Modeling, Computer Science, Processor Architectures, Artificial Intelligence (incl. Robotics), Computer-Aided Engineering (CAD, CAE) and Design, Special Purpose and Application-Based Systems, Congresses, Konferenzschrift, CAST |
| url |
http://www.springerlink.com/content/u305740nm274, http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-60748-9, http://dx.doi.org/10.1007/BFb0034745, https://doi.org/10.1007/BFb0034745 |
| work_keys_str_mv |
AT pichlerfranz computeraidedsystemstheoryeurocast95aselectionofpapersfromthefifthinternationalworkshoponcomputeraidedsystemstheoryinnsbruckaustriamay22251995proceedings, AT eurocastinnsbruck computeraidedsystemstheoryeurocast95aselectionofpapersfromthefifthinternationalworkshoponcomputeraidedsystemstheoryinnsbruckaustriamay22251995proceedings |