부산대학교 도서관
검색
통합검색
소장자료
학술논문
전자저널
학술DB
전자책
교내접속
OFF
로그인
커뮤니티
공지 및 행사
게시판문의
자주묻는질문
전화/이메일 문의
도서관 일정
영문 바로가기
로그인
자료검색
통합검색
소장자료
학술논문
전자저널
학술DB
전자책
온라인강좌
컬렉션
인기도서
신착도서
책 읽는 대학
테마도서
교수저작물 컬렉션
PNU 생산자료
도서관 소식지
연구·학습지원
연구지원
논문작성지원
연구정보가이드
이용교육
학습정보가이드
수업교재정보
자료이용안내
대출/반납
희망도서 신청
원문복사/상호대차
소장학술지 원문제공
외국학술지지원센터
협력기관
자료배달
SDI서비스
교외접속
시설이용안내
개관시간/층별
이용자별안내
열람실
그룹스터디룸
매체 제작/편집실
시설대관
PC/Wi-Fi/모바일
출력/복사/스캔
도서관소개
사명과 비전
역대 도서관장
연혁
조직 및 부서
통계
규정/운영세칙
오시는길
기증/기부
커뮤니티
공지 & 행사
게시판 문의
자주묻는 질문
전화/이메일 문의
도서관 일정
My Library
내서재
대출중인 도서
연체/제재
예약도서
원문복사(상호대차)
이용교육
정보 변경
전체메뉴 열기
로그인하세요
부산대학교 도서관
자료검색
통합검색
소장자료
학술논문
전자저널
학술DB
전자책
온라인강좌
컬렉션
인기도서
신착도서
책 읽는 대학
테마도서
교수저작물 컬렉션
PNU 생산자료
도서관 소식지
연구·학습지원
연구지원
논문작성지원
연구정보가이드
이용교육
학습정보가이드
수업교재정보
자료이용안내
대출/반납
희망도서 신청
원문복사/상호대차
소장학술지 원문제공
외국학술지지원센터
협력기관
자료배달
SDI서비스
교외접속
시설이용안내
개관시간/층별
이용자별안내
열람실
그룹스터디룸
매체 제작/편집실
시설대관
PC/Wi-Fi/모바일
출력/복사/스캔
도서관소개
사명과 비전
역대 도서관장
연혁
조직 및 부서
통계
규정/운영세칙
오시는길
기증/기부
커뮤니티
공지 & 행사
게시판 문의
자주묻는 질문
전화/이메일 문의
도서관 일정
My Library
내서재
대출중인 도서
연체/제재
예약도서
원문복사(상호대차)
이용교육
정보 변경
clear
교내접속
OFF
영문 바로가기
Home
통합검색
학술논문
학술논문
arrow_drop_down
통합검색
ISSN
논문명
저널명
저자명
다국어
세부검색
히라가나
가타가나
독일,프랑스,스페인
그리스
라틴
러시아
로마자
한글고어
단위기호
학술기호
타이어
몽골어
o
ㅋ
ㄱ
ㅅ
ㅈ
ㅌ
ㄷ
촉
ㄴ
ㅎ
ㅂ
ㅃ
ㅁ
야
ㄹ
와
ㅏ
あ
a
ぁ
か
ka
が
ga
さ
sa
ざ
za
た
ta
だ
da
な
na
は
ha
ば
ba
ぱ
pa
ま
ma
や
ya
ゃ
lya
ら
ra
わ
wa
ゎ
lwa
ん
n
l
い
i
ぃ
き
ki
ぎ
gi
し
si
じ
zi
ち
ti
ぢ
di
に
ni
ひ
hi
び
bi
ぴ
pi
み
mi
り
ri
ㅜ
う
u
ぅ
く
ku
ぐ
gu
す
su
ず
zu
つ
tu
づ
du
っ
ぬ
nu
ふ
hu
ぶ
bu
ぷ
pu
む
mu
ゆ
yu
ゅ
lyu
る
ru
ㅔ
え
e
ぇ
け
ke
げ
ge
せ
se
ぜ
ze
て
te
で
de
ね
ne
へ
he
べ
be
ぺ
pe
め
me
れ
re
ㅗ
お
o
ぉ
こ
ko
ご
go
そ
so
ぞ
zo
と
to
ど
do
の
no
ほ
ho
ぼ
bo
ぽ
po
も
mo
よ
yo
ょ
lyo
ろ
ro
を
wo
o
ㅋ
ㄱ
ㅅ
ㅈ
ㅌ
ㄷ
촉
ㄴ
ㅎ
ㅂ
ㅃ
ㅁ
야
ㄹ
와
ㅏ
ア
a
ァ
カ
ka
ガ
ga
サ
sa
ザ
za
タ
ta
ダ
da
ナ
na
ハ
ha
バ
ba
パ
pa
マ
ma
ヤ
ya
ャ
lya
ラ
ra
ワ
wa
ヮ
lwa
ン
n
l
イ
i
ィ
キ
ki
ギ
gi
シ
si
ジ
zi
チ
ti
ヂ
di
ニ
ni
ヒ
hi
ビ
bi
ピ
pi
ミ
mi
リ
ri
ㅜ
ウ
u
ゥ
ク
ku
グ
gu
ス
su
ズ
zu
ツ
tu
ヅ
du
ッ
ヌ
nu
フ
hu
ブ
bu
プ
pu
ム
mu
ユ
yu
ュ
lyu
ル
ru
ヴ
vu
ㅔ
エ
e
ェ
ケ
ke
ゲ
ge
セ
se
ゼ
ze
テ
te
デ
de
ネ
ne
ヘ
he
ベ
be
ぺ
pe
メ
me
レ
re
ㅗ
オ
o
ォ
コ
ko
ゴ
go
ソ
so
ゾ
zo
ト
to
ド
do
ノ
no
ホ
ho
ボ
bo
ポ
po
モ
mo
ヨ
yo
ョ
lyo
ロ
ro
ヲ
wo
ー
ー
독일어
ä
Ä
ö
Ö
ü
Ü
ß
프랑스어
á
à
Á
À
é
è
É
È
ç
Ç
ê
스페인어
à
á
Á
é
É
í
Í
Ó
ó
Ú
ú
Ñ
ñ
ä
Ä
Α
Β
Γ
Δ
Ε
Ζ
Η
Θ
Ι
Κ
Λ
Μ
Ν
Ξ
Ο
Π
Ρ
Σ
Τ
Υ
Φ
Χ
Ψ
Ω
α
β
γ
δ
ε
ζ
η
θ
ι
κ
λ
μ
ν
ξ
ο
π
ρ
ς
σ
τ
υ
φ
χ
ψ
ω
À
Á
Â
Ã
Ä
Å
Æ
Ç
È
É
Ê
Ë
Ì
Í
Î
Ï
Ð
Ñ
Ò
Ó
Ô
Õ
Ö
Ø
Ù
Ú
Û
Ü
Ý
Þ
ß
à
á
â
ã
ä
å
æ
ç
è
é
ê
ë
ì
í
î
ï
ð
ñ
ò
ó
ô
õ
ö
ø
ù
ú
û
ü
ý
þ
ÿ
А
Б
В
Г
Д
Е
Ё
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Щ
Ъ
Ы
Ь
Э
Ю
Я
а
б
в
г
д
е
ё
ж
з
и
й
к
л
м
н
о
п
р
с
т
у
ф
х
ц
ч
ш
щ
ъ
ы
ь
э
ю
я
ⅰ
ⅱ
ⅲ
ⅳ
ⅴ
ⅵ
ⅶ
ⅷ
ⅸ
ⅹ
Ⅰ
Ⅱ
Ⅲ
Ⅳ
Ⅴ
Ⅵ
Ⅶ
Ⅷ
Ⅸ
Ⅹ
ㅥ
ㅦ
ㅧ
ㅨ
ㅩ
ㅪ
ㅫ
ㅬ
ㅭ
ㅮ
ㅯ
ㅰ
ㅱ
ㅲ
ㅳ
ㅴ
ㅵ
ㅶ
ㅷ
ㅸ
ㅹ
ㅺ
ㅻ
ㅼ
ㅽ
ㅾ
ㅿ
ㆀ
ㆁ
ㆂ
ㆃ
ㆄ
ㆅ
ㆆ
ㆇ
ㆈ
ㆉ
ㆊ
ㆋ
ㆌ
ㆍ
ㆎ
′
″
℃
Å
¢
£
¥
¤
℉
‰
$
%
F
₩
㎕
㎖
㎗
ℓ
㎘
㏄
㎣
㎤
㎥
㎦
㎙
㎚
㎛
㎜
㎝
㎞
㎟
㎠
㎡
㎢
㏊
㎍
㎎
㎏
㏏
㎈
㎉
㏈
㎧
㎨
㎰
㎱
㎲
㎳
㎴
㎵
㎶
㎷
㎸
㎹
㎀
㎁
㎂
㎃
㎄
㎺
㎻
㎽
㎾
㎿
㎐
㎑
㎒
㎓
㎔
Ω
㏀
㏁
㎊
㎋
㎌
㏖
㏅
㎭
㎮
㎯
㏛
㎩
㎪
㎫
㎬
㏝
㏐
㏓
㏃
㏉
㏜
㏆
±
×
÷
≠
≤
≥
∞
∴
∠
⊥
⌒
∂
∇
≡
≒
≪
≫
√
∽
∝
∵
∫
∬
∈
∋
⊆
⊇
⊂
⊃
∪
∩
∧
∨
¬
⇒
⇔
∀
∃
∮
∑
∏
+
-
<
=
>
ก
ข
ฃ
ค
ฅ
ฆ
ง
จ
ฉ
ช
ซ
ฌ
ญ
ฎ
ฏ
ฐ
ฑ
ฒ
ณ
ด
ต
ถ
ท
ธ
น
บ
ป
ผ
ฝ
พ
ฟ
ภ
ม
ย
ร
ฤ
ล
ฦ
ว
ศ
ษ
ส
ห
ฬ
อ
ฮ
ฯ
ะ
ั
า
ำ
ิ
ี
ึ
ื
ุ
ู
ฺ
฿
เ
แ
โ
ใ
ไ
ๅ
ๆ
็
่
้
๊
๋
์
ํ
๎
๏
᠀
᠁
᠂
᠃
᠄
᠅
᠆
᠇
᠈
᠉
᠊
᠐
᠑
᠒
᠓
᠔
᠕
᠖
᠗
᠘
᠙
ᠠ
ᠡ
ᠢ
ᠣ
ᠤ
ᠥ
ᠦ
ᠧ
ᠨ
ᠩ
ᠪ
ᠫ
ᠬ
ᠭ
ᠮ
ᠯ
ᠰ
ᠱ
ᠲ
ᠳ
ᠴ
ᠵ
ᠶ
ᠷ
ᠸ
ᠹ
ᠺ
ᠻ
ᠼ
ᠽ
ᠾ
ᠿ
ᡀ
ᡁ
ᡂ
ᡃ
ᡄ
ᡅ
ᡆ
ᡇ
ᡈ
ᡉ
ᡊ
ᡋ
ᡌ
ᡍ
ᡎ
ᡏ
발행년
-
(예 : 2010-2015)
'학술논문'
에서 검색결과
119
건 | 목록
1~10
전체선택
내보내기
Relevance
arrow_drop_down
Relevance
DateNewest
Date Oldest
10
arrow_drop_down
5
10
20
30
40
50
format_list_bulleted
format_list_bulleted
E-mail
EndNote
RefWorks
Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order
Report
Sivaramakrishnan, Vignesh
;
Devonport, Rosalyn A.
;
Arcak, Murat
;
Oishi, Meeko M. K.
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Data-Driven Stochastic Optimal Control Using Kernel Gradients
Conference
Thorpe, Adam J.
;
Gonzales, Jake A.
;
Oishi, Meeko M. K.
2023 American Control Conference (ACC) American Control Conference (ACC), 2023. :2548-2553 May, 2023
Full Text (IEEE)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Stochastic Reachability of Uncontrolled Systems via Probability Measures: Approximation via Deep Neural Networks
Report
Sivaramakrishnan, Karthik
;
Sivaramakrishnan, Vignesh
;
Devonport, Rosalyn Alex
;
Oishi, Meeko M. K.
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Physics-Informed Kernel Embeddings: Integrating Prior System Knowledge with Data-Driven Control
Report
Thorpe, Adam J.
;
Neary, Cyrus
;
Djeumou, Franck
;
Oishi, Meeko M. K.
;
Topcu, Ufuk
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Stochastic Optimal Control via Hilbert Space Embeddings of Distributions
Conference
Thorpe, Adam J.
;
Oishi, Meeko M. K.
2021 60th IEEE Conference on Decision and Control (CDC) Decision and Control (CDC), 2021 60th IEEE Conference on. :904-911 Dec, 2021
Full Text (IEEE)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
SReachTools Kernel Module: Data-Driven Stochastic Reachability Using Hilbert Space Embeddings of Distributions
Conference
Thorpe, Adam J.
;
Ortiz, Kendric R.
;
Oishi, Meeko M. K.
2021 60th IEEE Conference on Decision and Control (CDC) Decision and Control (CDC), 2021 60th IEEE Conference on. :5073-5079 Dec, 2021
Full Text (IEEE)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Probabilistic Verification of ReLU Neural Networks via Characteristic Functions
Report
Pilipovsky, Joshua
;
Sivaramakrishnan, Vignesh
;
Oishi, Meeko M. K.
;
Tsiotras, Panagiotis
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Approximate Stochastic Reachability for High Dimensional Systems
Conference
Thorpe, Adam J.
;
Sivaramakrishnan, Vignesh
;
Oishi, Meeko M. K.
2021 American Control Conference (ACC) American Control Conference (ACC), 2021. :1287-1293 May, 2021
Full Text (IEEE)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Data-Driven Stochastic Optimal Control Using Kernel Gradients
Report
Thorpe, Adam J.
;
Gonzales, Jake A.
;
Oishi, Meeko M. K.
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods
Report
Thorpe, Adam J.
;
Oishi, Meeko M. K.
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
1
2
3
4
…
9
10
11
12
다음
검색 결과 제한하기
arrow_forward
제한된 항목
[AR] Oishi, Meeko M. K.
clear
발행연도 제한
-
재검색
학술DB(Database Provider)
MathSciNet via EBSCOhost
(28)
arXiv
(23)
Science Citation Index Expanded
(20)
IEEE Xplore Digital Library
(15)
Complementary Index
(13)
Academic Search Complete
(6)
ACM Full-Text Collection
(4)
Business Source Complete
(3)
Springer Nature Journals
(3)
Supplemental Index
(2)
Journals@OVID
(1)
Social Sciences Citation Index
(1)
add
remove
더보기
zoom_in
재검색
저널명(출판물, Title)
experimental brain research
(7)
ieee transactions on automatic control
(6)
ieee transactions on automation science & engineering
(6)
automatica. a journal of ifac, the international federation of automatic control
(5)
institute of electrical and electronics engineers. transactions on automatic control
(5)
automatica
(4)
asian journal of control
(3)
european journal of neuroscience
(3)
frontiers in neurology
(3)
ieee control systems letters
(3)
2019 ieee 58th conference on decision and control (cdc), decision and control (cdc), 2019 ieee 58th conference on
(2)
2021 60th ieee conference on decision and control (cdc), decision and control (cdc), 2021 60th ieee conference on
(2)
chronobiology international: the journal of biological & medical rhythm research
(2)
hscc'19---proceedings of the 2019 22nd acm international conference on hybrid systems: computation and control
(2)
ieee transactions on automation science and engineering
(2)
ieee transactions on control systems technology
(2)
proceedings of the 22nd acm international conference on hybrid systems: computation and control
(2)
18th acm international conference on hybrid systems: computation and control---hscc'15
(1)
2011 ieee international conference on systems, man, and cybernetics, systems, man, and cybernetics (smc), 2011 ieee international conference on
(1)
2014 american control conference
(1)
2014 american control conference, american control conference (acc), 2014
(1)
2016 ieee 55th conference on decision & control (cdc)
(1)
2016 ieee 55th conference on decision and control (cdc), decision and control (cdc), 2016 ieee 55th conference on
(1)
2016 ieee/rsj international conference on intelligent robots & systems (iros)
(1)
2016 ieee/rsj international conference on intelligent robots and systems (iros), intelligent robots and systems (iros), 2016 ieee/rsj international conference on
(1)
2017 american control conference (acc), american control conference (acc), 2017
(1)
2017 ieee 56th annual conference on decision and control (cdc), decision and control (cdc), 2017 ieee 56th annual conference on
(1)
2018 annual american control conference (acc), american control conference (acc), 2018 annual
(1)
2018 ieee conference on decision and control (cdc), decision and control (cdc), 2018 ieee conference on
(1)
2021 american control conference (acc), american control conference (acc), 2021
(1)
2023 american control conference (acc), american control conference (acc), 2023
(1)
49th ieee conference on decision and control (cdc), decision and control (cdc), 2010 49th ieee conference on
(1)
abstraction, reformulation, and approximation
(1)
algorithmic foundations of robotics xi
(1)
american association for the advancement of science. science
(1)
annals of biomedical engineering
(1)
annals of biomedical engineering: the journal of the biomedical engineering society
(1)
biomedical signal processing and control
(1)
chronobiology international
(1)
design & use of assistive technology
(1)
heliyon
(1)
hscc 2018---proceedings of the 21st international conference on hybrid systems: computation and control
(1)
hscc 2022---proceedings of the 25th acm international conference on hybrid systems---computation and control
(1)
hscc'12---hybrid systems: computation and control
(1)
hscc'14---proceedings of the 17th international conference on hybrid systems: computation and control (part of cps week)
(1)
hscc'17---proceedings of the 20th international conference on hybrid systems: computation and control
(1)
journal of guidance control and dynamics
(1)
journal of guidance, control & dynamics
(1)
proceedings of the 21st international conference on hybrid systems: computation and control (part of cps week)
(1)
proceedings of the fifth international workshop on symbolic-numeric methods for reasoning about cps and iot
(1)
add
remove
더보기
zoom_in
재검색
출판사(Publisher)
ieee
(23)
acm, new york
(8)
ieee-inst electrical electronics engineers inc
(6)
pergamon-elsevier science ltd
(4)
wiley-blackwell
(4)
american automatic control council
(3)
springer
(3)
springer nature
(3)
aacc
(2)
frontiers media sa
(2)
springer-verlag
(2)
taylor & francis ltd
(2)
amer inst aeronaut astronaut
(1)
american institute of aeronautics & astronautics
(1)
cell press
(1)
elsevier sci ltd
(1)
frontiers media s.a.
(1)
springer us
(1)
springer, berlin
(1)
springer, cham
(1)
taylor & francis inc
(1)
wiley-blackwell publishing, inc
(1)
add
remove
더보기
zoom_in
재검색
자료유형(Source Type)
Academic Journals
(59)
Conference Materials
(32)
Reviews
(28)
Reports
(23)
Magazines
(4)
Books
(1)
add
remove
더보기
zoom_in
재검색
주제어
mathematics - optimization and control
(21)
electrical engineering and systems science - systems and control
(15)
robotics and control systems
(13)
automation
(12)
linear systems
(12)
parkinson's disease
(12)
human-automation interaction
(10)
observability
(10)
aerospace
(9)
hybrid systems
(9)
power, energy and industry applications
(9)
stochastic optimal control
(9)
transportation
(9)
markov processes
(8)
signal processing and analysis
(8)
aerospace electronics
(7)
bioengineering
(7)
components, circuits, devices and systems
(7)
optimal control
(7)
basal ganglia
(6)
collision avoidance
(6)
communication, networking and broadcast technologies
(6)
convex optimization
(6)
l-dopa
(6)
manual tracking
(6)
model
(6)
optimization
(6)
probabilistic logic
(6)
safety
(6)
user interfaces
(6)
cerebellum
(5)
computer science - systems and control
(5)
control systems
(5)
dopa
(5)
dynamical systems
(5)
obstacle avoidance
(5)
planning
(5)
reachability
(5)
stochastic processes
(5)
stochastic reachability
(5)
actigraphy
(4)
aircraft
(4)
circadian rhythms
(4)
computing and processing
(4)
formal verification
(4)
fourier transforms
(4)
general topics for engineers
(4)
hilbert space
(4)
humans
(4)
melatonin
(4)
add
remove
더보기
zoom_in
재검색
언어
english
(80)
add
remove
더보기
zoom_in
재검색
메일 발송
이메일
취소
확인
팝업 닫기
폴더 추가
팝업 닫기